Commit 4f635e77 authored by Adam Chlipala's avatar Adam Chlipala

A pass over Large

parent 15ddf288
......@@ -360,3 +360,18 @@ title = {A Verified Compiler for an Impure Functional Language},
booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
year = {2010},
}
@inproceedings{Isar,
author = {Wenzel, Markus},
title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents},
booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics},
series = {TPHOLs '99},
year = {1999},
isbn = {3-540-66463-7},
pages = {167--184},
numpages = {18},
url = {http://dl.acm.org/citation.cfm?id=646526.694887},
acmid = {694887},
publisher = {Springer-Verlag},
address = {London, UK, UK},
}
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment