Type classes in Mercury (2000)

by D Jeffery, F Henderson, Z Somogyi
Venue:In Proc. Twenty-Third Australasian Computer Science Conf