MÜLLERand NISHIMURA. TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS. no. 01, World Scientific Pub Co Pte Lt, 2000, doi:10.1142/s0129054100000041.