David MacQueen
where else to find them
what they talk about
where they keep going back
- ML2 editions2022–2025
on a stage with
- John Reppyonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| MsML: A Proposal for a successor ML | ML 2025 | 2025-11-24 |
MsML proposes a compact successor dialect of Standard ML used as the target for a planned reimplementation of the SML/NJ front end, claiming fewer legacy… | ||
| Modernizing Standard ML of New Jersey: A Status Report | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Project modernizes Standard ML of New Jersey by porting to 64‑bit (stable Dec 2019), shrinking the codebase (basis library ~225k LOC, runtime ~25k C + 1.5k… | ||
| A New Standard ML Prettyprinter Library, An Experience Report | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
A new Standard ML prettyprinter library claims a simpler, more predictable design by synthesizing PPML and Hughes/Wadler ideas, implemented as modules in a… | ||
| A New Match Compiler for Standard ML of New Jersey | ML 2022 | 2022-09-15 |
Replaces a 30‑year‑old match compiler with a reimplementation that builds an and/or tree, extracts a decision tree via an ordered frontier worklist, then emits… | ||
| nothing matches | ||