Skip to content

State transition machines for lambda calculus expressions.

David A. Schmidt

VenueBCC
Year1980
ProceedingsSemantics-Directed Compiler Generation

Browse the full CC paper archive.