Typed Logical Variables in Haskell.

Koen Claessen Peter Ljunglöf

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

lambda calculus
programming language
higher order
functional programming
variable selection
learning algorithm
random variables
feature selection
hidden variables
database query languages
universally quantified