Lalita Jategaonkar John C. Mitchell ML with Extended Pattern Matching and Subtypes. 198-211 1988 LISP and Functional Programming http://doi.acm.org/10.1145/62678.62702 db/conf/lfp/lfp1988.html#JategaonkarM88