TY  - RPRT
TI  - Implementing Equational Constraints in a Functional Language
AU  - Bernd Braßel
AU  - Michael Hanus
AU  - Björn Peemöller
AU  - Fabian Reck
PY  - 2011
UR  - https://arxiv.org/abs/1108.5609
ID  - 1108.5609
ER  -