equal
deleted
inserted
replaced
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. John Wickerson pointed out a typo in Definition 2 and one in the |
134 who pointed this out. John Wickerson pointed out a typo in Definition 2 and one in the |
135 Apendix, which are corrected in the version above. Thanks!) |
135 Appendix, which are corrected in the version above. Thanks!) |
136 |
136 |
137 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) |
137 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) |
138 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). |
139 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. |
140 © <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> |
452 |
452 |
453 |
453 |
454 </TABLE> |
454 </TABLE> |
455 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
455 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
456 <!-- hhmts start --> |
456 <!-- hhmts start --> |
457 Last modified: Tue Jan 31 16:28:35 GMT 2012 |
457 Last modified: Tue Jan 31 16:29:34 GMT 2012 |
458 <!-- hhmts end --> |
458 <!-- hhmts end --> |
459 <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> |
460 |
460 |
461 </BODY> |
461 </BODY> |
462 </HTML> |
462 </HTML> |