diff -r 486ac2d8a819 -r 0b4a5595cbe4 teaching.html --- a/teaching.html Sat Oct 22 11:56:13 2011 +0100 +++ b/teaching.html Sat Oct 22 12:09:49 2011 +0100 @@ -24,7 +24,7 @@ + ROWSPAN="13"> Links
Home
@@ -65,20 +65,26 @@ (the paper coming out of this work was presented at CADE)
  • Mathilde Arnaud (2007, ENS Cachan, France) Formalization of Generative Unbinding
  • +
  • Parminder Sandhu (2011-2012, King's) Parsing using Derivatives
  • - +

    2011-2012

    +

    Autumn +

    + + + + + +

    2010-2011

    Spring @@ -349,7 +355,7 @@

    -Last modified: Tue Sep 20 15:55:36 CEST 2011 +Last modified: Sat Oct 22 12:08:37 BST 2011 [Validate this page.]