Analysing Resource Use in the Lambda Calculus by Type Inference.

Simon Courtenage Chris D. Clack

Published in: PEPM (1994)

Keyphrases

lambda calculus
database query languages
programming language
predicate calculus
type checking
object oriented
data structure
program understanding