Verifying haskell programs using constructive type theory.

Andreas Abel Marcin Benke Ana Bove John Hughes Ulf Norell

Published in: Haskell (2005)

Keyphrases

functional programming
theoretical framework
functional language
programming language
information theory
data sets
artificial intelligence
information systems
theoretical basis
formal methods