oleg-at-okmij.orghttps://okmij.org/ftp/MarXere2026-07-03T00:01:00Zhttps://okmij.org/ftp/ML/higher-kind-poly.html#mod-exp2026-07-03T00:01:00Z

Modular Explicits: a lightweight and general encoding of module-dependent functions in ordinary OCaml (as an instance of Reynolds representation of abstract types using universals rather than existentials). Even more lightweight higher-kinded polymorphism.

https://okmij.org/ftp/Computation/generators.html2026-06-08T00:01:00Z

Generators: the API for traversal, iteration and non-determinism: completely re-written from the point of view of push/pull iteration, emphasizing how simple push generators and yield are to implement.

https://okmij.org/ftp/Babel/Babel.html#vax-scripting2026-05-05T00:01:00Z

Bibliographic `web service' in VAX/VMS times: or shell scripting done right. If VAX were more widespread Perl would not have been needed.

https://okmij.org/ftp/Algorithms/matmul.html2026-04-07T00:01:00Z

Matrix-matrix multiplication, from less conventional points of view: including an elegant imperative view

https://okmij.org/ftp/meta-programming/calculi.html#HOAS2026-03-02T00:01:00Z

The last problem of Higher-Order Abstract Syntax: latent effects

https://okmij.org/ftp/tagless-final/Compiler/index.html2026-02-02T00:01:00Z

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-102026-01-01T00:01:00Z

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-up2026-01-01T00:01:01Z

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.gen2026-01-01T00:01:02Z

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-check2026-01-01T00:01:03Z

Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks. Published in PACMPL (POPL), 2026.

https://okmij.org/ftp/meta-programming/calculi.html#tricks2026-01-01T00:01:04Z

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-PLA2025-12-08T00:01:00Z

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#intro2025-11-01T00:01:00Z

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.html2025-10-03T00:01:00Z

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.html2025-09-05T00:01:00Z

Having an Effect: more polish, more references

https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nested-agg2025-08-06T00:01:00Z

Nested grouping-aggregation: Vertical monoid composition. Nested grouping-aggregation (Advent of Code 2022 Problem 1) embarrassingly in parallel, with linear speed-up.