Type inference with extended pattern matching and subtypes (1993)

by L A Jategaonkar, J C Mitchell
Venue:Fundamenta Informaticae