Delimited Dynamic Binding: reworked and updated, including the implementation in terms of algebraic effects and other latest developments| okmij.org
Module Extensibility and Separate Compilation In OCaml, linking with alternative/improved implementations, and the non-destructive library extension/evolution are problematic in separate compilation. Work-arounds are found.| okmij.org
Complete Stream Fusion for Software-Defined Radio: Strymonas-generated code is fast enough for real-time FM Radio reception, even on Raspberry Pi Zero.| okmij.org
MetaOCaml: Ten Years Later. The new staging translation, and, finally, some explanations of the implementation of let-insertion and cross-stage persistence| okmij.org
Towards a Theory of Anaphoric Binding in Event Semantics. Pronouns and in general anaphora are hardly ever analyzed in event semantics. This paper takes a stab (published in LNCS)| okmij.org
Simplifying the optimization framework in Modular, composable, typed optimizations in the tagless-final style to avoid GADTs. Therefore, it can be re-implemented in the languages (such as SML, etc.) that do not have GADTs.| okmij.org
A collection of various ways to express the fixed-point combinator in typed and untyped languages| okmij.org
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.| okmij.org
The materials for the course on compilers: built incrementally and fully in tagless-final style| okmij.org