Transformations and reduction strategies for typed lambda expressions

DOI10.1145/1780.1803zbMath0555.68007OpenAlexW1992258859MaRDI QIDQ3219096

M. P. Georgeff

Publication date: 1984

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1780.1803

zbMATH Keywords

functional programmingtyped lambda-calculusprocessorsreduction strategiesefficient implementationsevaluation schemesextended SECD machinehigher-order functions in programming languagestyped lambda- terms

Mathematics Subject Classification ID

Related Items (1)

Region-based memory management

Uses Software

• ALGOL 68

This page was built for publication: Transformations and reduction strategies for typed lambda expressions