GitHub repository: BinderDavid/pointer-abstract-machine
Primary language: Haskell
Description: The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"