Språkbanken

Typed logical variables in Haskell

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. http://gup.ub.gu.se/records/fulltext/99880.pdf

Publication year: 2000

Authors: Koen Claessen, Peter Ljunglöf

Gup link: Link to gup

BibTeX

@article{Claessen,Koen2000-39,
	title		= "Typed logical variables in Haskell",
	journal		= "Electronic Notes in Theoretical Computer Science",
	author		= "Claessen, Koen and Ljunglöf, Peter",
	year		= "2000",
	volume		= "41",
	number		= "1",
	url		= "http://gup.ub.gu.se/records/fulltext/99880.pdf",
}

To the top

About the site