]>okmij.org okmij.org en-us 21600 HSXML->RSS 5 May 2013 12:00:00 GMT http://okmij.org/ftp/README.html Constant-space XML processing with well-formedness check Ibid. http://okmij.org/ftp/Streams.html#xml-incr http://okmij.org/ftp/Streams.html#xml-incr 5 May 2013 12:00:00 GMT A sharper example of Breaking referential transparency with unsafeInterleaveST Ibid. http://okmij.org/ftp/Haskell/index.html#unsafeInterleaveST http://okmij.org/ftp/Haskell/index.html#unsafeInterleaveST 5 May 2013 12:00:00 GMT Better examples of Lazy IO breaking equational reasoning Ibid. http://okmij.org/ftp/Haskell/index.html#lazyIO-not-True http://okmij.org/ftp/Haskell/index.html#lazyIO-not-True 5 May 2013 12:00:00 GMT Lazy IO breaks equational reasoning Ibid. http://okmij.org/ftp/Haskell/index.html#lazyIO-not-True? http://okmij.org/ftp/Haskell/index.html#lazyIO-not-True? 5 Apr 2013 12:00:00 GMT MetaOCaml as a domain-specific optimizer: Shonan Challenge 1 Ibid. http://okmij.org/ftp/meta-programming/Shonan1.html http://okmij.org/ftp/meta-programming/Shonan1.html 5 Apr 2013 12:00:00 GMT Efficient and insightful type generalization Ibid. http://okmij.org/ftp/ML/generalization.html http://okmij.org/ftp/ML/generalization.html 7 Mar 2013 12:00:00 GMT What polymorphism and garbage collection have in common Ibid. http://okmij.org/ftp/ML/generalization.html#gen-mismanagement http://okmij.org/ftp/ML/generalization.html#gen-mismanagement 7 Mar 2013 12:00:00 GMT History of discovery of type levels Ibid. http://okmij.org/ftp/ML/generalization.html#history http://okmij.org/ftp/ML/generalization.html#history 7 Mar 2013 12:00:00 GMT Understanding parts of the OCaml type checker Ibid. http://okmij.org/ftp/ML/generalization.html#levels-OCaml http://okmij.org/ftp/ML/generalization.html#levels-OCaml 7 Mar 2013 12:00:00 GMT Re-implemented BER MetaOCaml N100 for OCaml 4.00.1 Ibid. http://okmij.org/ftp/ML/MetaOCaml.html http://okmij.org/ftp/ML/MetaOCaml.html 5 Feb 2013 12:00:00 GMT Shonan Challenge for Generative Programming: PEPM 2013 paper Ibid. http://okmij.org/ftp/meta-programming/HPC.html#shonan-challenge http://okmij.org/ftp/meta-programming/HPC.html#shonan-challenge 5 Feb 2013 12:00:00 GMT Simple Generators v. Lazy Evaluation Ibid. http://okmij.org/ftp/continuations/PPYield/index.html http://okmij.org/ftp/continuations/PPYield/index.html 1 Jan 2013 12:00:00 GMT Simple generators in Haskell Ibid. http://okmij.org/ftp/continuations/PPYield/index.html#gen-Haskell http://okmij.org/ftp/continuations/PPYield/index.html#gen-Haskell 1 Jan 2013 12:00:00 GMT Incremental, Linear Pretty-printing Ibid. http://okmij.org/ftp/continuations/PPYield/index.html#pp http://okmij.org/ftp/continuations/PPYield/index.html#pp 1 Jan 2013 12:00:00 GMT Non-deterministic choice in a conventional programming language: Enough for logic programming? Ibid. http://okmij.org/ftp/kakuritu/logic-programming.html#vs-prolog http://okmij.org/ftp/kakuritu/logic-programming.html#vs-prolog 1 Jan 2013 12:00:00 GMT BER MetaOCaml, version N004 Ibid. http://okmij.org/ftp/ML/index.html#ber-metaocaml http://okmij.org/ftp/ML/index.html#ber-metaocaml 1 Jan 2013 12:00:00 GMT Delimited control in OCaml, abstractly and concretely: The greatly expanded, journal version of the paper Ibid. http://okmij.org/ftp/continuations/implementations.html#delimcc-paper http://okmij.org/ftp/continuations/implementations.html#delimcc-paper 1 Jan 2013 12:00:00 GMT Typed Tagless Final Interpreters: published lecture notes Ibid. http://okmij.org/ftp/tagless-final/course/index.html#lecture http://okmij.org/ftp/tagless-final/course/index.html#lecture 1 Jan 2013 12:00:00 GMT Genuine dependent types and faking them on the example of type-safe printf Ibid. http://okmij.org/ftp/typed-formatting/index.html#dep-type http://okmij.org/ftp/typed-formatting/index.html#dep-type 1 Dec 2012 12:00:00 GMT Incremental XML parsing with Iteratees Ibid. http://okmij.org/ftp/Streams.html#xml http://okmij.org/ftp/Streams.html#xml 1 Dec 2012 12:00:00 GMT A new version of the HList library, with fancier kinds and more type-level computations with no run-time overhead Ibid. http://okmij.org/ftp/Haskell/types.html#HList http://okmij.org/ftp/Haskell/types.html#HList 1 Dec 2012 12:00:00 GMT Maximal munch, committed choice and nested inference Ibid. http://okmij.org/ftp/kakuritu/logic-programming.html#many http://okmij.org/ftp/kakuritu/logic-programming.html#many 5 Nov 2012 12:00:00 GMT Impredicativity Bites Further Ibid. http://okmij.org/ftp/Haskell/impredicativity-bites.html http://okmij.org/ftp/Haskell/impredicativity-bites.html 5 Nov 2012 12:00:00 GMT Guess Lazily! Making a program guess, and guess well Ibid. http://okmij.org/ftp/kakuritu/logic-programming.html#StrangeLoop http://okmij.org/ftp/kakuritu/logic-programming.html#StrangeLoop 9 Oct 2012 12:00:00 GMT `Reversible' parser combinators Ibid. http://okmij.org/ftp/kakuritu/logic-programming.html#parsec http://okmij.org/ftp/kakuritu/logic-programming.html#parsec 9 Oct 2012 12:00:00 GMT Generating optimal stencil code: improved and simplified version. The generated code assuredly has no array-bound errors. Ibid. http://okmij.org/ftp/meta-programming/HPC.html#stencil http://okmij.org/ftp/meta-programming/HPC.html#stencil 9 Oct 2012 12:00:00 GMT Generating optimal stencil code: solving a Shonan Challenge problem Ibid. http://okmij.org/ftp/meta-programming/HPC.html http://okmij.org/ftp/meta-programming/HPC.html 1 Sep 2012 12:00:00 GMT Breaking referential transparency with unsafeInterleaveST Ibid. http://okmij.org/ftp/Haskell/misc.html#unsafeInterleaveST http://okmij.org/ftp/Haskell/misc.html#unsafeInterleaveST 1 Sep 2012 12:00:00 GMT Observing strictness Ibid. http://okmij.org/ftp/Haskell/misc.html#observe-strictness http://okmij.org/ftp/Haskell/misc.html#observe-strictness 1 Sep 2012 12:00:00 GMT An argument against call/cc Ibid. http://okmij.org/ftp/continuations/against-callcc.html http://okmij.org/ftp/continuations/against-callcc.html 9 Aug 2012 12:00:00 GMT call/cc implements shift? A good question Ibid. http://okmij.org/ftp/continuations/against-callcc.html#traps http://okmij.org/ftp/continuations/against-callcc.html#traps 9 Aug 2012 12:00:00 GMT A new version of HSXML: Typed SXML with overloaded string literals and many simplifications Ibid. http://okmij.org/ftp/Scheme/xml.html#typed-SXML http://okmij.org/ftp/Scheme/xml.html#typed-SXML 9 Aug 2012 12:00:00 GMT