TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages
From MaRDI portal
Publication:1249938
zbMath0387.68006MaRDI QIDQ1249938
Neil D. Jones, Steven S. Muchnick
Publication date: 1978
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68Nxx)
Related Items
A partial evaluator for a parallel lambda language ⋮ Static semantics, types, and binding time analysis ⋮ A partial evaluator for the untyped lambda-calculus
