Implementation of the typed call-by-value λ-calculus using a stack of regions (1994)

by Mads Tofte
Venue:In ACM Symposium on Principles of Programming Languages
Citations:57 - 0 self

Document Versions

Implementation of the typed call-by-value λ-calculus using a stack of regions –Mads Tofte — 1994 — In ACM Symposium on Principles of Programming Languages
Implementation of the typed call-by-value λ-calculus using a stack of regions –Mads Tofte, Jean-Pierre Talpin — 1994 — In Twenty-First ACM Symposium on Principles of Programming Languages
Implementation of the typed call-by-value λ-calculus using a stack of regions –Mads Tofte, Jean-Pierre Talpin — 1994 — IN TWENTY-FIRST ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Implementation of the typed call-by-value λ-calculus using a stack of regions –Mads Tofte, Jean-Pierre Talpin — 1994 — IN TWENTY-FIRST ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Implementation of the typed call-by-value λ-calculus using a stack of regions –Mads Tofte — 1994 — In Twenty-First ACM Symposium on Principles of Programming Languages