Log of changes on this site

November 1, 2008

Eliminating translucent existentials and the precise type of all scramblings of a string
Lightweight monadic regions
Streams and Iteratees: Incremental multi-level input processing and collection enumeration

Call-by-name typed shift/reset calculus
Compilation by evaluation as syntax-semantics interface in natural languages
New version of MetaScheme, or untyped MetaOCaml
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.

Interpreting types as abstract values FLOLAC08 lecture notes and the source code for evaluators/type reconstructors
Type-class overloaded functions: second-order type-class programming with backtracking
An introductory section on delimited continuations added to the talk Persistent delimited continuations for CGI programming with nested transactions
New version of Native delimited continuations in (byte-code) OCaml
Added a new primitive, push_prompt_subcont, 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.