Programming with Modules as Typed Functional Programming.

Rod M. Burstall

Published in: FGCS (1984)

Keyphrases

functional programming
functional language
programming language
object oriented programming
quantifier elimination
execution model
object oriented
artificial intelligence
databases
software engineering
high level
query optimization