- BER MetaOCaml, version N114 (multi-staging superset of OCaml 4.14.1)

- Patterns of data flow in words: Learning APL ideas without APL syntax, by implementing an array DSL

- Realistic, modular, composable, algebraic optimizations with some correctness guarantees: DAXPY. An advanced example of generating high-performance BLAS code

- Free Variables and Free Effects: An elementary introduction to algebraic effects and handlers, and two different ways of dealing with free variables

- 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

- Lambek Grammars for Computer Scientists: half-tutorial

- Dired mode for VAX EVE Editor: reminiscence of TPU

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

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

continues in a separate document: ChangeLog-26.html

continues in a separate document: ChangeLog-0.html