BibTeX

@article{claessen-ljunglof-2000-typed-99880,
	title        = {Typed logical variables in Haskell},
	abstract     = {We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey. To get full static typing we need to use the Haskell extensions of quantified types and the ST-monad.},
	journal      = {Electronic Notes in Theoretical Computer Science},
	author       = {Claessen, Koen and Ljunglöf, Peter},
	year         = {2000},
	volume       = {41},
	number       = {1},
}