Functional logic overloading (2002)

by Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
Venue:In POPL ’02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages