/pointer-abstract-machine

The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers