Functional logic overloading (2002)

by Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber