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:31 - 20 self