Efficient Type Inference Using Monads (1990)

by K Hammond
Venue:In Draft Proc. of GlaFP