Log of changes on this site

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

July 13, 2021

• Grasping `all-the-apples-at-once'

June 4, 2021

• Deriving the simplest predecessor on Church numerals, in four short self-evident lines

May 14, 2021

• Canonical Structures: programmable overloading resolution

April 12, 2021

• Capabilities with rights amplification: The mint example from E in plain OCaml

March 1, 2021

• Type Representations in OCaml

February 3, 2021

• Recording neuron spikes on a stock IBM PC AT

January 1, 2021

• Many More Predecessors: A Representation Workout An improved and extended version, published in JFP
• Lambek Grammars are strongly equivalent to Context Free Grammars, for all practical purposes
• Session types without sophistry Full paper, published in LNCS and presented at FLOPS 2020
• Lambek Grammars as an embedded DSL: a tool for semanticists
• Final report of the Shonan meeting Programming and Reasoning with Algebraic Effects and Effect Handlers

December 5, 2020

• Self-quoting fixpoints: Quines, in Scheme and MetaOCaml Updated version, with more quines

November 4, 2020

• A direct implementation of delimited continuations for byte- and native-code OCaml. New version, for OCaml 4.10 and 4.11.1

October 6, 2020

• BER MetaOCaml, version N111

September 5, 2020

• shell/AWK/Perl-like scripting in OCaml: better than shell pipes

August 12, 2020

• Elementary Tutorial on Normalization-by-Evaluation

August 2019 through July 2020

continues in a separate document, ChangeLog-24.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html