Martin Müller and
Susumu Nishimura. Type Inference for First-Class Messages with Feature Constraints. In
J. Hsiang and
A. Ohori editors, Asian Computer Science Conference (ASIAN '98), December 8-10, (1538):169-187, Springer, Manila, The Philippines, 1998. [Abstract] google [Annote]
