Implementing Equational Constraints in a Functional Language.

Bernd Brael, Michael Hanus, Bjrn Peemller, Fabian Reck

Browse the full PADL paper archive.