Login / Signup
Strictness Analysis in the Imperative Lambda Calculus.
Jonathan Springer
Samuel N. Kamin
Published in:
LISP Symb. Comput. (1996)
Keyphrases
</>
lambda calculus
query optimization