Type Inference for First-Class Messages with Feature Constraints
(pdf)
Martin Müller, Susumu Nishimura
International Journal of Foundations of Computer Science
Type Inference for First-Class Messages with Feature Constraints
(pdf)
Martin Müller, Susumu Nishimura
Asian Computer Science Conference (ASIAN 98)