A practical subtyping system for Erlang. (1997)

by S Marlow, P Wadler
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming,