SAMPLE - A Functional Language.

Michael Jäger Michael Gloger Stefan Kaes

Published in: VDM Europe (1988)

Keyphrases

functional language
functional programming
programming language
proof planning
object identity
data mining
database
query processing
theorem proving