Type Inference for First-Class Messages with Feature Constraints (1998)

by Martin Müller , Susumu Nishimura
Venue:International Journal of Foundations of Computer Science
Citations:5 - 0 self