Log of changes on okmij.org

January 1, 2023

• Mutable Variables and Reference Types: L-values demystified and deprecated
• Generating (mutually) recursive definitions: The first formal model that uniformly treats let-, letrec- and mutually-letrec--insertion, without any continuation or state effects
• Embedded two-staged DSL with let-, letrec- and mutual-letrec--insertion in pure plain OCaml
• Generating C, the paper
• Offshoring, or implicitly heterogeneous metaprogramming
• Generating C via a tagless-final embedding of (a subset of) C in OCaml
• Complete Stream Fusion for Software-Defined Radio: a strymonas application performance benchmark

December 13, 2022

• New view on plasma fractals, from the high point of Array Languages: FARM 2022 demo

November 1, 2022

• Lambek Grammars for Computer Scientists: half-tutorial

October 7, 2022

• Dired mode for VAX EVE Editor: reminiscence of TPU

September 12, 2022

• Highest-performance Stream Processing: New version of the strymonas library, generating high-performance OCaml and C code from declarative stream pipelines

August 8, 2022

• Tagless-final DSL with lists of various strictness. Measuring the impact of laziness/strictness by counting cons and closures

August 2021 through July 2022

continues in a separate document: ChangeLog-26.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html