Log of changes on this site

December 5, 2013

• BER MetaOCaml N101 for OCaml 4.01, without environment classifiers but with the comprehensive scope-extrusion check
• Moving free variables around but not letting them escape

November 5, 2013

• Tutorial: Systematic generation of optimal code with MetaOCaml
• Generating interesting lambda-terms

October 5, 2013

• Extensible Effects: an alternative to Monad Transformers
• MetaOCaml lives on: Lessons from implementing a staged dialect of a functional language. ML 2013 talk
• Implementing staging

September 1, 2013

• A new version of delimcc, with a number of small optimizations and a new lightweight concurrency benchmark
• Lambda: the ultimate syntax-semantics interface the web site is updated for the ESSLLI course
• Analysis of expressives in the semantic calculator with applicatives

August 1, 2013

• Simplest poly-variadic fix-point combinators for mutual recursion in Haskell, OCaml, Scheme
• Fix-point combinators are infinitely many and recursively-enumerable

August 2012 through July 2013

continues in a separate document, ChangeLog-17.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html