Lalita Jategaonkar John C. Mitchell Type Inference with Extended Pattern Matching and Subtypes. 127-165 1993 19 Fundam. Inform. 1/2 db/journals/fuin/fuin19.html#JategaonkarM93