Changes between Version 8 and Version 9 of Past/2011


Ignore:
Timestamp:
Jul 19, 2011, 8:32:34 AM (13 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2011

    v8 v9  
    11= Past Meetings, 2011 =
    22
    3 === 16th June ===
     3=== 35: 16th June ===
    44 * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers]
    55 * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus]