Tobias Lindahl Konstantinos F. Sagonas TypEr: a type annotator of Erlang code. 17-25 2005 conf/erlang/2005 Erlang Workshop http://doi.acm.org/10.1145/1088361.1088366 db/conf/erlang/erlang2005.html#LindahlS05