Embedding a Proof System in Haskell.

Published in: CEFP (2009)

Keyphrases

programming language
functional programming
modal logic
vector space
database
data sets
general purpose
information retrieval
object oriented
open source
nonlinear dimensionality reduction
robust image watermarking