]> okmij.org en-us 21600 HSXML->RSS 1 Nov 2008 12:00:00 GMT http://okmij.org/ftp/README.html Lambda-calculator and alpha-conversion in pure Prolog http://okmij.org/ftp/Prolog/Prolog.html#lambda-calc http://okmij.org/ftp/Prolog/Prolog.html#lambda-calc 1 Nov 2008 12:00:00 GMT leanTAP theorem prover in pure Prolog http://okmij.org/ftp/Prolog/Prolog.html#pure-leanTAP http://okmij.org/ftp/Prolog/Prolog.html#pure-leanTAP 1 Nov 2008 12:00:00 GMT Beyond pure Prolog: power and danger http://okmij.org/ftp/Prolog/Prolog.html#impure http://okmij.org/ftp/Prolog/Prolog.html#impure 1 Nov 2008 12:00:00 GMT Eliminating translucent existentials and the precise type of all scramblings of a string http://okmij.org/ftp/Computation/Existentials.html#eliminating-translucent http://okmij.org/ftp/Computation/Existentials.html#eliminating-translucent 5 Oct 2008 12:00:00 GMT Lightweight monadic regions http://okmij.org/ftp/Haskell/regions.html#light-weight http://okmij.org/ftp/Haskell/regions.html#light-weight 5 Oct 2008 12:00:00 GMT Streams and Iteratees: Incremental multi-level input processing and collection enumeration http://okmij.org/ftp/Streams.html http://okmij.org/ftp/Streams.html 5 Oct 2008 12:00:00 GMT Call-by-name typed shift/reset calculus http://okmij.org/ftp/Computation/Continuations.html#cbn-shift http://okmij.org/ftp/Computation/Continuations.html#cbn-shift 1 Sep 2008 12:00:00 GMT Compilation by evaluation as syntax-semantics interface in natural languages http://okmij.org/ftp/Computation/Generative.html#nl-cbe http://okmij.org/ftp/Computation/Generative.html#nl-cbe 1 Sep 2008 12:00:00 GMT New version of MetaScheme, or untyped MetaOCaml <br> Added tests showing why static renaming of bound identifiers is insufficient; implemented dynamic renaming as suggested by Chung-chieh Shan. Added support for a simple let form. http://okmij.org/ftp/Computation/Generative.html#meta-scheme http://okmij.org/ftp/Computation/Generative.html#meta-scheme 1 Sep 2008 12:00:00 GMT Interpreting types as abstract values FLOLAC08 lecture notes and the source code for evaluators/type reconstructors http://okmij.org/ftp/Computation/Computation.html#teval http://okmij.org/ftp/Computation/Computation.html#teval 1 Aug 2008 12:00:00 GMT Type-class overloaded functions: second-order type-class programming with backtracking http://okmij.org/ftp/Haskell/types.html#poly2 http://okmij.org/ftp/Haskell/types.html#poly2 1 Aug 2008 12:00:00 GMT An introductory section on delimited continuations added to the talk Persistent delimited continuations for CGI programming with nested transactions http://okmij.org/ftp/Computation/Continuations.html#shift-cgi http://okmij.org/ftp/Computation/Continuations.html#shift-cgi 1 Aug 2008 12:00:00 GMT New version of Native delimited continuations in (byte-code) OCaml <br> Added a new primitive, <code>push_prompt_subcont</code>, to push a captured continuation along with the control delimiter. The primitive is used to implement shift and shift0 without leaking memory. The new version includes many optimizations, which reduce the size of captured continuations. http://okmij.org/ftp/Computation/Continuations.html#caml-shift http://okmij.org/ftp/Computation/Continuations.html#caml-shift 1 Aug 2008 12:00:00 GMT