Miguel Jimenez Tobias Lindahl Konstantinos F. Sagonas A language for specifying type contracts in Erlang and its interaction with success typings. 11-17 2007 Erlang Workshop http://doi.acm.org/10.1145/1292520.1292523 conf/erlang/2007 db/conf/erlang/erlang2007.html#JimenezLS07