Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 346:5d85de065540

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through Coinductive up to PL example
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Oct 2011 13:33:46 -0400
parents 7466ac31f162
children 36a08cad9245
comparison
equal deleted inserted replaced
345:518c8994a715 346:5d85de065540
241 author = {Ni, Zhaozhong and Shao, Zhong}, 241 author = {Ni, Zhaozhong and Shao, Zhong},
242 title = {Certified assembly programming with embedded code pointers}, 242 title = {Certified assembly programming with embedded code pointers},
243 booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, 243 booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
244 year = {2006}, 244 year = {2006},
245 } 245 }
246
247 @TechReport{IT,
248 title = "A Tutorial on Recursive Types in {Coq}",
249 author = "Eduardo Gim\'enez",
250 year = "1998",
251 month = may,
252 number = "0221",
253 institution = "INRIA",
254 }