Log of changes on this site

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