# HG changeset patch # User Christian Urban # Date 1328027333 0 # Node ID 6b0db3d2b840dd69c5438c629bdb7d8474ebbde2 # Parent 47794dcaac00e567ba65f0e43b7931be0e9c70eb tuned diff -r 47794dcaac00 -r 6b0db3d2b840 publications.html --- a/publications.html Tue Jan 31 16:26:54 2012 +0000 +++ b/publications.html Tue Jan 31 16:28:53 2012 +0000 @@ -131,8 +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. John Wickerson pointed out two typos, which are - corrected in the version above. Thanks!) + who pointed this out. John Wickerson pointed out a typo in Definition 2 and one in the + Apendix, 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). @@ -454,7 +454,7 @@

-Last modified: Tue Jan 31 16:25:43 GMT 2012 +Last modified: Tue Jan 31 16:28:35 GMT 2012 [Validate this page.]