Combinators and Lambda-Calculus.

J. Roger Hindley

Published in: Combinators and Functional Programming Languages (1985)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
databases
object oriented
general purpose