(1)
Palsberg, J. Type Inference With Selftype. BRICS 1995, 2.