Log of changes on this site

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

July 1, 2019

• Effects Without Monads: Non-determinism -- Back to the Meta Language. The published, significantly improved version of an earlier web page

June 10, 2019

• Evaluators, Normalizers, Reducers: from denotational to operational semantics. A revision of an earlier article, making the calculus `more algebraic'

May 15, 2019

• Algebras: an introduction for (tagless-final) programmers

April 9, 2019

• Getting around polymorphism restrictions using Category Theory and pretense

March 9, 2019

• Session types without sophistry

February 5, 2019

• R-Technology. A programming methodology from 1960s that makes you think harder now, and debug less later

January 1, 2019

• Generating Mutually Recursive Definitions
• Transformational Semantics on a Tree Bank published in LNCS 10838
• Surprisingly simple fast typed-aligned queues
• Polynomial Event Semantics: Non-Montagovian Proper Treatment of Quantifiers
• Sparse Grids: multi-dimensional interpolation, approximation and integration

December 10, 2018

• Tagless-final operational semantics

November 5, 2018

• Type inference and the undead code

October 5, 2018

• BER MetaOCaml N107: New release (corresponding to OCaml 4.07.1)

September 16, 2018

• Language for writing text adventure, er, online courses: a glimpse into the computer-assisted education of the 1970s and 1980s

August 11, 2018

• Functional and Logic Programming Symposium FLOPS 2016: Special issue of selected papers

August 2017 through July 2018

continues in a separate document, ChangeLog-22.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html