https://okmij.org/ftp/ List of updates to okmij.org MarXere en-us 21600 07 Apr 2026 00:01 GMT https://okmij.org/ftp/Algorithms/matmul.html 07 Apr 2026 00:01 GMT tag:okmij.org,2026-04-07:Algorithms/matmul.html Matrix-matrix multiplication, from less conventional points of view: including an elegant imperative view https://okmij.org/ftp/meta-programming/calculi.html#HOAS 02 Mar 2026 00:01 GMT tag:okmij.org,2026-03-02:meta-programming/calculi.html#HOAS The last problem of Higher-Order Abstract Syntax: latent effects https://okmij.org/ftp/tagless-final/Compiler/index.html 02 Feb 2026 00:01 GMT tag:okmij.org,2026-02-02:tagless-final/Compiler/index.html Further updated and extended notes for the course Compilers: Incrementally and Extensibly. Included in the public notes now is the section on languages, grammars, parsing. https://okmij.org/ftp/ML/MetaOCaml.html#design-10 01 Jan 2026 00:01 GMT tag:okmij.org,2026-01-01:ML/MetaOCaml.html#design-10 MetaOCaml: Ten Years Later. The full, 2.5x extended paper published in Science of Computer Programming https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nga.warm-up 01 Jan 2026 00:01 GMT tag:okmij.org,2026-01-01:Algorithms/map-monoid-reduce.html#nga.warm-up Nested grouping-aggregation: Vertical monoid composition A slightly simpler, and faster, algorithm and a better explanation https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nga.gen 01 Jan 2026 00:01 GMT tag:okmij.org,2026-01-01:Algorithms/map-monoid-reduce.html#nga.gen Generating parallel map-reduce for nested grouping-aggregation. Generating first-order, imperative and indeed performant code https://okmij.org/ftp/meta-programming/calculi.html#scope-check 01 Jan 2026 00:01 GMT tag:okmij.org,2026-01-01:meta-programming/calculi.html#scope-check Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks. Published in PACMPL (POPL), 2026. https://okmij.org/ftp/meta-programming/calculi.html#tricks 01 Jan 2026 00:01 GMT tag:okmij.org,2026-01-01:meta-programming/calculi.html#tricks Generating Code along with Annotations, on an apt example suggested by Olivier Danvy long time ago. An OlivierFest paper. https://okmij.org/ftp/gengo/index.html#new-PLA 08 Dec 2025 00:01 GMT tag:okmij.org,2025-12-08:gengo/index.html#new-PLA Anaphora in Static Orthodox First-Order Logic: intra- and inter-sentential, bound-variable and donkey anaphora in the the 1920s logic https://okmij.org/ftp/tagless-final/Compiler/index.html#intro 01 Nov 2025 00:01 GMT tag:okmij.org,2025-11-01:tagless-final/Compiler/index.html#intro Teaching Compilers: Incrementally and Extensibly once more. The course notes are updated and extended. The significantly re-written Section 3 of the course notes (starts on p.12) now gives a very simple introduction to optimization in the tagless-final style without re-writing or pattern-matching, using normalization-by-evaluation instead. https://okmij.org/ftp/Algorithms/map-monoid-reduce.html 03 Oct 2025 00:01 GMT tag:okmij.org,2025-10-03:Algorithms/map-monoid-reduce.html More Fun with Monoids and Map-Reduce: with quite more explanations -- in particular, of the parallel Horner rule (relating to outer semidirect product) and Boyer-Moore majority voting. Added the complete OCaml code for the parallel nested-aggregation, using OCaml domains. https://okmij.org/ftp/Computation/having-effect.html 05 Sep 2025 00:01 GMT tag:okmij.org,2025-09-05:Computation/having-effect.html Having an Effect: more polish, more references https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nested-agg 06 Aug 2025 00:01 GMT tag:okmij.org,2025-08-06:Algorithms/map-monoid-reduce.html#nested-agg Nested grouping-aggregation: Vertical monoid composition. Nested grouping-aggregation (Advent of Code 2022 Problem 1) embarrassingly in parallel, with linear speed-up.