Publication:3339256
From MaRDI portal
zbMath0547.68014MaRDI QIDQ3339256
Daniel P. Friedman, Eugene Kohlbecker, Christopher T. Haynes
Publication date: 1984
68N01: General topics in the theory of software
Related Items
Obtaining lazy evaluation with continuations in SCHEME, A syntactic theory of sequential control, Search algorithms in type theory