Functional Programming with Overloading and Higher-Order Polymorphism (1995)

by M Jones
Venue:Advanced Functional Programming, volume 925 of LNCS