An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus.

Vijay Gehlot Y. N. Srikant

Published in: Comput. Lang. (1986)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
general purpose
high level
object oriented
expressive power
complex objects
databases
artificial intelligence
logic programming
software engineering
higher order