The Illinois functional programming interpreter.

Arch D. Robison

Published in: PLDI (1987)

Keyphrases

functional programming
programming language
functional language
quantifier elimination
object oriented programming
execution model
high level
object oriented
production system
software engineering
general purpose
databases
description language