A rational deconstruction of Landin’s SECD machine, in (0)

by O Danvy
Venue:Wksh. on Implementation and Application of Functional Languages, IFL ’04