Functional logic overloading (2002)

by M Gasbichler, M Neubauer, M Sperber, P Thiemann
Venue:In Proc. of POPL’02