A Practical Subtyping System For Erlang (1997)

by Simon Marlow, Philip Wadler
Venue:In Proceedings of the International Conference on Functional Programming (ICFP '97