State transition machines for lambda-calculus expressions (1980)

by David A. Schmidt
Venue:In Proceedings of the Semantics-Directed Compiler Generation Workshop
Citations:4 - 0 self