Changes between Version 40 and Version 41 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v40 v41  
    2121* [http://fp-syd.ouroborus.net/report/13 Tasks]
    2222
    23 
    24 === 16th June ===
    25  * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers]
    26  * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus]
    27  * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II] (longer talk).
    2823
    2924=== 21st July ===