A Modification of the Lambda-Calculus as a Base for Functional Programming Languages.

Klaus J. Berkling Elfriede Fehr

Published in: ICALP (1982)

Keyphrases

lambda calculus
programming language
functional language
predicate calculus
object oriented
general purpose
database query languages
strongly typed
higher order
program understanding
high level
database
logic programming
data abstraction
complex objects
software engineering
machine learning