equal
deleted
inserted
replaced
129 Pages 1639-1644. |
129 Pages 1639-1644. |
130 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]<BR><BR> |
130 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]<BR><BR> |
131 |
131 |
132 (We silently assume in this paper to only lift from types that have |
132 (We silently assume in this paper to only lift from types that have |
133 covariant type-constructors. Many thanks to Ondřej Kunčar, |
133 covariant type-constructors. Many thanks to Ondřej Kunčar, |
134 who pointed this out.) |
134 who pointed this out. John Wickerson pointed out two typos, which are |
|
135 corrected in the version above. Thanks!) |
135 |
136 |
136 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) |
137 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) |
137 In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011). |
138 In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011). |
138 In Volume 7086 of Lecture Notes in Computer Science. Pages 280-295. |
139 In Volume 7086 of Lecture Notes in Computer Science. Pages 280-295. |
139 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7086.htm">Springer Verlag</A> |
140 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7086.htm">Springer Verlag</A> |
451 |
452 |
452 |
453 |
453 </TABLE> |
454 </TABLE> |
454 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
455 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
455 <!-- hhmts start --> |
456 <!-- hhmts start --> |
456 Last modified: Sat Dec 10 12:24:42 GMT 2011 |
457 Last modified: Tue Jan 31 16:25:43 GMT 2012 |
457 <!-- hhmts end --> |
458 <!-- hhmts end --> |
458 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
459 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
459 |
460 |
460 </BODY> |
461 </BODY> |
461 </HTML> |
462 </HTML> |