@InProceedings{erltc97,
   author = {Simon Marlow and Philip Wadler},
   title = {A practical subtyping system for Erlang},
   booktitle = {ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming},
   year = {1997},
   month = {June},
   abstract = {We present a type system for the programming language Erlang.  The
type system supports subtyping and declaration-free recursive types,
using subtyping constraints.  Our system is similar to one explored by
Aiken and Wimmers, though it sacrifices expressive power in favour of
simplicity.  We cover our techniques for type inference, type
simplification, and checking when an inferred type conforms to a
user-supplied type signature, and report on early experience with our
prototype.
},
   url = {http://www.haskell.org/~simonmar/papers/erltc.pdf},
   doi = {http://doi.acm.org/10.1145/258948.258962},
   isbn = {0-89791-918-1},
   pages = {136--149},
   location = {Amsterdam, The Netherlands},
   publisher = {ACM Press}
}