Mercurial > cpdt > repo
comparison latex/cpdt.bib @ 387:7ece04e15446
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 } |