A Theory of Classes for a Functional Language with Effects.

Furio Honsell Ian A. Mason Scott F. Smith Carolyn L. Talcott

Published in: CSL (1992)

Keyphrases

functional language
functional programming
object identity
artificial intelligence
relational databases
search space
query evaluation