State transition machines for lambda calculus expressions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

David A. Schmidt. State transition machines for lambda calculus expressions. In Neil D. Jones, editor, Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Volume 94 of Lecture Notes in Computer Science, pages 415-440, Springer, 1980.

The following publications are possibly variants of this publication:

State-transition machines for lambda-calculus expressionsDavid A. Schmidt. lisp, 20(3):319-332, 2007. [doi]

State-transition machines, revisitedDavid A. Schmidt. lisp, 20(3):333-335, 2007. [doi]

runs on WebDSL