Constructive Mathematics and Functional Programming (Abstract).

Thierry Coquand

Published in: ESOP (2008)

Keyphrases

functional programming
functional language
execution model
programming language
object oriented programming
quantifier elimination
artificial intelligence
high level
databases
distributed systems
distributed database systems