ML with extended pattern matching and subtypes (1988)

by L A Jategaonkar, J C Mitchell
Venue:In Proc. ACM Conference on LISP and Functional Programming