Log of changes on this site

September 5, 2020

Boehm-Berarducci Encoding: extended and improved explanation. Also added is the general pattern-matching on tagless-final terms
Twenty-five years of maintaining this web site. A bit of history

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

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

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

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