1992], "Efficient type inference using monads (0)

by K Hammond
Venue:in Functional Programming, Glasgow 1991 , R Heldal, CK Holst & PL Wadler, eds., Workshops in Computing