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

by M Müller, S Nishimura
Venue:International Journal of Foundations of Computer Science