<div dir="ltr"><div>Some of the ideas presented in that paper became the basis for a type analysis (without source level declarations) that I wrote with the intent of providing more information to the compiler. Then Kostis Sagonas and Tobias Lindahl took the ball and ran with it, and we ended up with Dialyzer.<br>
<br></div>I remember that Sven-Olof Nyström also worked on typing of processes, but the main obstacles were (as Thomas Lindgren also mentioned) the overapproximation of which PIDs will receive which messages, the mixing of messages for different purposes in a single mailbox, and that the type for a process needs to describe what messages are acceptable at what times in order to be really useful. I can't find anything published about this research. He did however write up some of his ideas about how Erlang could be improved, partly in order to get more precise information about communication patterns: <a href="http://www.it.uu.se/research/publications/reports/2009-005/">http://www.it.uu.se/research/publications/reports/2009-005/</a><br>
</div><div class="gmail_extra"><br clear="all"><div><br>        /Richard</div>
<br><br><div class="gmail_quote">On Mon, Sep 1, 2014 at 12:55 AM, Anthony Ramine <span dir="ltr"><<a href="mailto:n.oxyde@gmail.com" target="_blank">n.oxyde@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Found this:<br>
<br>
        <a href="http://www.erlang.se/workshop/2003/paper/p56-nystrom.pdf" target="_blank">http://www.erlang.se/workshop/2003/paper/p56-nystrom.pdf</a><br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Anthony Ramine<br>
<br>
Le 31 août 2014 à 23:47, Richard A. O'Keefe <<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>> a écrit :<br>
</font></span><div class="im HOEnZb"><br>
> Is there a reference for that?<br>
<br>
</div><div class="HOEnZb"><div class="h5">_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</div></div></blockquote></div><br></div>