January 1, 2025
- Complete Stream Fusion for Software-Defined Radio: Strymonas-generated code is fast enough for real-time FM Radio reception, even on Raspberry Pi Zero.
- MetaOCaml: Ten Years Later. The new staging translation, and, finally, some explanations of the implementation of let-insertion and cross-stage persistence
- 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
- 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)
- 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.
- Programming Language Support for Emerging Memory Technologies: Shonan Seminar 181
- The preface (PDF) to APLAS24 Proceedings
December 7, 2024
November 5, 2024
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
continues in a separate document: ChangeLog-28.html
continues in a separate document: ChangeLog-0.html