Functional programming with overloading and higherorder polymorphism (1995)

by M P Jones
Venue:In Advanced Functional Programming