Changes between Version 71 and Version 72 of WikiStart

Timestamp:

Oct 11, 2011, 4:42:10 PM (13 years ago)

Author:

Ben Sinclair

Comment:

--

WikiStart

@@ -39 +39 @@
  * Tom Sewell
  * Tony Sloane, Introduction to Partial Evaluation (30-40 mins)
- * Ben Sinclair
 
 === 17th November ===
@@ -45 +44 @@
  * Raphael Speyer
  * Richard Garner, Dependent Types (longer talk)
+ * Ben Sinclair
 
 === 16th February ===