BinderDavid/pointer-abstract-machine
The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"
HaskellBSD-3-Clause
The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"
HaskellBSD-3-Clause