<div>Investiganing differnet papers about Erlang I have found the following from Joe Armstrong:</div>
<div> <font color="#000000"><span class="l"><b>The development of Erlang</b></span>  </font><a href="http://citeseer.ist.psu.edu/37831.html">http://citeseer.ist.psu.edu/37831.html</a></div>
<div>There he mentions works of Philip Wadler on typing for Erlang, here is a link about that:</div>
<div><a href="http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html">http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html</a></div>
<div> </div>
<div>I have seen no signs of someting like that in Erlang/OTP. The only thing that comes to my midn is recently proposed type annotations in edoc.</div>
<div> </div>
<div>What have happened to this idea?</div>
<div> </div>
<div>Regards,</div>
<div>Kirill.</div>