diff -r 04797dfb3198 -r 261eabf7483b publications.html --- a/publications.html Tue Dec 06 15:38:11 2011 +0000 +++ b/publications.html Sat Dec 10 12:25:16 2011 +0000 @@ -84,10 +84,6 @@
Mechanizing the Metatheory of Mini-XQuery. - (with Cheney) To appear at CPP 2011. - [pdf] -
A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions. (with Wu and Zhang) Journal version. Submitted. [pdf] @@ -135,6 +131,13 @@ (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.) + +
Mechanizing the Metatheory of Mini-XQuery. (with Cheney) + In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011). + In Volume 7086 of Lecture Notes in Computer Science. Pages 280-295. + © Springer Verlag + [pdf] +
-Last modified: Wed Nov 16 12:25:55 GMT 2011 +Last modified: Sat Dec 10 12:24:42 GMT 2011 [Validate this page.]