Log of changes on this site

January 1, 2022

• Not by Equations Alone: Reasoning with Extensible Effects
• DSL of algebraic effects and handlers
• System T as unexpectedly expressive programming language: more explanation and encoding of lists
• All Things Flow: Unfolding the History of Streams
• Polynomial Event Semantics: Negation

December 3, 2021

• System T/PCF considered as unexpectedly expressive programming language

November 3, 2021

• Poster/slides directly in PostScript

October 7, 2021

• This site is now also available via HTTPS

September 11, 2021

• Higher-kinded bounded polymorphism without higher-kind type variables

August 7, 2021

• Making the old page How OCaml type checker works -- or what polymorphism and garbage collection have in common clearer and more polished

August 2020 through July 2021

continues in a separate document, ChangeLog-25.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html