Login / Signup
Stackability in the Simply-Typed Call-by-Value Lambda Calculus.
Anindya Banerjee
David A. Schmidt
Published in:
SAS (1994)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
higher order
database query languages
complex objects
relational databases
data model