Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 387:7ece04e15446

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A pass over Large
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Apr 2012 15:54:37 -0400
parents d5112c099fbf
children cc8d0503619f
comparison
equal deleted inserted replaced
386:b911d0df5eee 387:7ece04e15446
358 author = {Adam Chlipala}, 358 author = {Adam Chlipala},
359 title = {A Verified Compiler for an Impure Functional Language}, 359 title = {A Verified Compiler for an Impure Functional Language},
360 booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, 360 booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
361 year = {2010}, 361 year = {2010},
362 } 362 }
363
364 @inproceedings{Isar,
365 author = {Wenzel, Markus},
366 title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents},
367 booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics},
368 series = {TPHOLs '99},
369 year = {1999},
370 isbn = {3-540-66463-7},
371 pages = {167--184},
372 numpages = {18},
373 url = {http://dl.acm.org/citation.cfm?id=646526.694887},
374 acmid = {694887},
375 publisher = {Springer-Verlag},
376 address = {London, UK, UK},
377 }