Type classes inMercury (1992)

by D Jeffery, F Henderson, Z Somogyi
Venue:Oxford University