October 5, 2024
- Slide-Effect: Slide overlays and delimited control. Overlay expansion (like in Beamer) is a manifestation of delimited control. We explain on two implementations, without delimited control operators and with, showing where and how the explicit delimited control improves.
September 5, 2024
August 1, 2024
July 1, 2024
- Folding in Parallel: Representing fold (sequential accumulation, e.g. Horner rule) as map composed with a reduce over a monoid, non-trivially and efficiently. Monoid reduction is embarrassingly parallel.
June 3, 2024
- Nested Grouping-Aggregation: solving a typical data analytics problem by ``coupling programs like garden hose'', and getting efficient solution
April 11, 2024
April 17, 2024
March 7, 2024
February 14, 2024
January 1, 2024
December 1, 2023
- MetaOCaml Theory and Implementation. New translation from nested quasiquotes to code-generation combinators: efficient, typed, easier to retrofit. It is implemented in the current MetaOCaml N114.
November 3, 2023
October 5, 2023
September 19, 2023
- Version 2.1 of Strymonas: greatly expanded back-end (with C99 code-generation, more numeric data types, including complex numbers), static arrays, FFI, and provisions for Wasm
August 11, 2023
continues in a separate document: ChangeLog-27.html
continues in a separate document: ChangeLog-0.html