Type inference for first-class messages with feature constraints. (1998)

by M Muller, S Nishimura
Venue:Programming Systems Lab, Universitat des Saarlandes,