Log of changes on this site

February 7, 2014

• Implementing, and understanding type classes
• Stefan Kaes, the forgotten father of type classes

January 1, 2014

• Seemingly impossible generic map in SYB
• Reify a data type as a graph term
• A wordstar-like text editor for Electronics BK-0010 in 1754 bytes
• Efficient integer logarithm of large numbers in any base
• Simple fair and terminating backtracking Monad Transformer as it turns out, implements the LogicT interface
• Editorial: PEPM2012 Special Issue of Higher-Order and Symbolic Computation
• Functional un|unparsing published in HOSC

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