Changes between Version 63 and Version 64 of WikiStart

Timestamp:

Aug 12, 2011, 3:39:33 AM (13 years ago)

Author:

Erik de Castro Lopo

Comment:

Change date of Sept meeting, Add RG's Dependent Types talk

WikiStart

@@ -35 +35 @@
  * Sean Seefried: Substitution in a type preserving compiler (longer talk).
 
-=== 15th September ===
-(This meeting may be moved a week earlier due to conflict with ICFP)
+=== 8th September ===
+(This meeting was moved a week earlier due to conflict with ICFP)
  * Eric Willigers
  * Raphael Speyer
@@ -50 +50 @@
  * Eric Torreborre, (most certainly) The Essence of the Iterator Pattern
  * Speaker 2, Talk title (if known)
- * Speaker 3, Talk title (if known)
- * Speaker 4, Talk title (if known)
+ * Richard Garner, Dependent Types (longer talk)