Simon Marlow Philip Wadler A Practical Subtyping System For Erlang. 136-149 1997 ICFP db/conf/icfp/icfp97.html#MarlowW97