Log of changes on this site

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