A practical subtyping system for Erlang
article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.

No queries for homepages.inf.ed.ac.uk/wadler/topics/erlang.html