Changes between Version 10 and Version 11 of Past/2011


Ignore:
Timestamp:
Jul 22, 2011, 4:18:27 AM (13 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2011

    v10 v11  
    11= Past Meetings, 2011 =
    22
     3=== 36: 21st July ===
     4 * Ben Lippmeier, [http://www.youtube.com/GoogleFOSSSydney#p/c/D2CF3F5CD75AE195/5/OBPOaz5fIzA Joint Evaluation Contexts]
     5 * Eric Torreborre, [http://www.youtube.com/GoogleFOSSSydney#p/c/D2CF3F5CD75AE195/3/lMyNRUuEvNU specs2: go functional!]
     6 * Tony Sloane, [http://www.youtube.com/GoogleFOSSSydney#p/c/D2CF3F5CD75AE195/4/81_Jh6XnHxc Functional Pretty Printer Combinators]
     7
    38=== 35: 16th June ===
    4  * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers (video)]
    5  * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus (video)]
    6  * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II (video)] (longer talk).
     9 * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers]
     10 * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus]
     11 * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II]
    712
    813=== 34: May 19th ===