Login / Signup

Strictness Analysis of the Untyped lambda-Calculus.

Prateek Mishra
Published in: Inf. Process. Lett. (1988)
Keyphrases
  • lambda calculus
  • relational databases
  • general purpose