Keegan McAllister gave a very nice talk at Boston Haskell last night about &quot;First Class Concurrency&quot;. His slides are available online at <br><br><a href="http://t0rch.org/" target="_blank">http://t0rch.org/</a><br>

<br>His final few slides covered the Pi calculus:<br><br><a href="http://en.wikipedia.org/wiki/Pi_calculus">http://en.wikipedia.org/wiki/Pi_calculus</a><br><br>I took a few minutes over lunch to dash out a finally tagless version of the pi calculus interpreter presented by Keegan, since the topic of how much nicer it would look in HOAS came up during the meeting. <br>

<br>For more information on finally tagless encodings, see: <br><br><a href="http://www.cs.rutgers.edu/%7Eccshan/tagless/jfp.pdf" target="_blank">http://www.cs.rutgers.edu/~ccshan/tagless/jfp.pdf</a><br><br>Of course, Keegan went farther and defined an encoding of the lambda calculus into the pi calculus, but I leave that as an exercise for the reader. ;)<br>
<br>-Edward Kmett<br>