Papers, articles, essays, notes about computation in general| okmij.org
Demonstrating unstable denotations and the Cartwright-Felleisen approach to `stabilize' them. Making points about process calculi, and how side-effect is a matter of perspective.| okmij.org
Delimited Dynamic Binding: reworked and updated, including the implementation in terms of algebraic effects and other latest developments| okmij.org
list of updates to this whole site, 8/2014 - 7/2015| 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
The index page for the portion of the web site related to OCaml, SML and MetaOCaml| okmij.org
More appreciation for a for-loop: an explanation of J.N. Oliveira's approach for transforming systems of non-tail primitive recursive equations over natural numbers to an efficient, imperative for-loop| okmij.org
The preface (PDF) to APLAS24 Proceedings| 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
Down with power: a realistic starting example of staging, illustrating code templates (brackets/escapes), let-insertion, offshoring, real-time specialization with a flavor of JIT, and even multiple-stages| 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
Fast and vectorizable atan: just as precise and portable as GNU Radio's, but notably faster| okmij.org
The materials for the course on compilers: built incrementally and fully in tagless-final style| okmij.org