A Practical Subtyping System for Erlang (1997)

by S Marlow, P Wadler
Venue:In Proc. ICFP