Log of changes on this site

May 5, 2020

• Lightweight HList in OCaml
• Embedding of lambda calculus with De Bruijn Levels

April 1, 2020

• Lambda calculus embedded in OCaml and its normalization

March 20, 2020

• Breadth-first labeling

February 11, 2020

• Updated the index page for the OCaml/ML portion of the site. It now includes the index of DSLs that have been embedded in OCaml

January 1, 2020

• A case for semantics. One exhibit is proving the correctness of `Eff directly in OCaml' (the journal version of the paper is published in EPTCS)
• Executable direct denotational semantics of multiprompt delimited control
• Tagless-Final Optimizations, Algebraically and Semantically. Added a Haskell version of some code, for contrast and to highlight different aspects of tagless-final as algebras
• Meta-Programming for Statistical Machine Learning: Shonan Seminar report
• Polynomial Event Semantics: Non-Montagovian proper treatment of quantifiers published in LNAI 11717

December 13, 2019

• Context-Free Grammars: the epitome of many-sorted algebras

November 1, 2019

• Functional Stream Libraries and Fusion: What's Next?

October 1, 2019

• Eliminating Existentials: Representing existential data types with isomorphic simple types. Improved explanations of the universal encoding and of eliminating translucent existentials

September 3, 2019

• Tagless-final optimizations, algebraically and semantically. Lecture course at the Second International Summer School on Metaprogramming, August 2019.

August 4, 2019

• Safe and Efficient, Now

August 2018 through July 2019

continues in a separate document, ChangeLog-23.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html