Log of changes on this site

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

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.