Embedding Functional Logic Programming in Haskell via a Compiler Plugin.

Kai-Oliver Prott, Finn Teegen, Jan Christiansen

Browse the full PADL paper archive.