A rational deconstruction of Landin’s SECD machine (2004)

by Olivier Danvy , Kevin Millikin
Venue:Implementation and Application of Functional Languages, 16th International Workshop, IFL’04, number 3474 in Lecture Notes in Computer Science
Citations:27 - 19 self