diff -r e978feb5651a -r f58a4b003363 publications.html --- a/publications.html Wed Jan 11 17:17:43 2012 +0000 +++ b/publications.html Tue Jan 31 16:26:02 2012 +0000 @@ -131,7 +131,8 @@ (We silently assume in this paper to only lift from types that have covariant type-constructors. Many thanks to Ondřej Kunčar, - who pointed this out.) + who pointed this out. John Wickerson pointed out two typos, which are + corrected in the version above. Thanks!)
Mechanizing the Metatheory of Mini-XQuery. (with Cheney) In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011). @@ -453,7 +454,7 @@
-Last modified: Sat Dec 10 12:24:42 GMT 2011 +Last modified: Tue Jan 31 16:25:43 GMT 2012 [Validate this page.]