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 [16]. To get full static typing we need to use the Haskell extensions of quantified types and the ST-monad. http://www.cs.chalmers.se/~peb/pubs/p00-logvars-Haskell.pdf

@article{KoenClaessen2000,
	title		= "Typed logical variables in Haskell",
	author		= "Koen Claessen, Peter Ljunglöf",
	editor		= "",
	year		= "2000",
	url		= "http://www.cs.chalmers.se/~peb/pubs/p00-logvars-Haskell.pdf",
	pages		= "",
}