J.C.Mitchell: ML with extended pattern matching and subtypes (1988)

by L A Jategaonkar
Venue:Proc. of the ACM Conference on Lisp and Functional Programming