Note on Algol and Conservatively Extending Functional Programming.

Peter W. O'Hearn

Published in: J. Funct. Program. (1996)

Keyphrases

functional programming
programming language
functional language
quantifier elimination
execution model
object oriented programming
object oriented
general purpose
logic programming
high level
data model
software engineering