Type inference with extended pattern matching and subtypes (1993)

by L Jategaonkar, J C Mitchell
Venue:Fundamenta Informaticae