Type classes in Mercury (1998)

by D Jeery, F Henderson, Z Somogyi