Implementing Equational Constraints in a Functional Language.

Bernd Braßel Michael Hanus Björn Peemöller Fabian Reck

Published in: PADL (2013)

Keyphrases

functional language
functional programming
programming language
theorem proving
database
key features
theorem prover