A processor-building system for experimental programming languages.

Terrence W. Pratt Robert K. Lindsay

Published in: AFIPS Fall Joint Computing Conference (1966)

Keyphrases

programming language
object oriented
general purpose
high level
strongly typed
software engineering
logic programming
database languages
specification language
data abstraction
functional programming
lambda calculus