Log of changes on this site

February 4, 2015

• Local type-class instances: frequently discussed and still not implemented
• Laws of MonadPlus

January 10, 2015

• New version N102 of BER MetaOCaml
• Continuation Hierarchy and Quantifier Scope: more proper treatment of quantifiers in ordinary English

December 4, 2014

• Canonical Constituents and Non-canonical Coordination: Simple Categorial Grammar Account
• Lambek calculi in the tagless-final style
• An implementation of Open Unions with neither Typeable nor overlapping instances
• Added a link to Stefan Kaes thesis, systematizing and extending his work on parametric overloading

November 9, 2014

• Manifestly type-preserving, effective partial evaluation in the tagless-final style

October 11, 2014

• Modular, composable, typed optimizations in the tagless-final style
• A simpler implementation of Ordinary and one-pass CPS transformation in the tagless-final framework

September 11, 2014

• Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
• Re-thinking Prolog
• ML Family workshop: liveblog and videos of all presentations

August 5, 2014

• Do-it-yourself domain-specific optimizing compiler
• Staging and High-Performance Computing: Theory and Practice
• ML Family workshop: program with abstracts

August 2013 through July 2014

continues in a separate document, ChangeLog-18.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html