Changes between Version 71 and Version 72 of WikiStart


Ignore:
Timestamp:
Oct 11, 2011, 4:42:10 PM (9 years ago)
Author:
Ben Sinclair
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v71 v72  
    3939 * Tom Sewell
    4040 * Tony Sloane, Introduction to Partial Evaluation (30-40 mins)
    41  * Ben Sinclair
    4241
    4342=== 17th November ===
     
    4544 * Raphael Speyer
    4645 * Richard Garner, Dependent Types (longer talk)
     46 * Ben Sinclair
    4747
    4848=== 16th February ===