Typed Logical Variables in Haskell

@article{Claessen2000TypedLV,
  title={Typed Logical Variables in Haskell},
  author={Koen Claessen and Peter Ljungl{\"o}f},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2000},
  volume={41},
  pages={37}
}
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 quantiied types and the ST-monad. 
Highly Cited
This paper has 38 citations. REVIEW CITATIONS