%0 Conference Paper %1 conf/pldi/TatlockL10 %A Tatlock, Zachary %A Lerner, Sorin %B PLDI %D 2010 %E Zorn, Benjamin G. %E Aiken, Alex %I ACM %K dblp %P 111-121 %T Bringing extensibility to verified compilers. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#TatlockL10 %@ 978-1-4503-0019-3

@inproceedings{conf/pldi/TatlockL10, added-at = {2023-08-28T00:00:00.000+0200}, author = {Tatlock, Zachary and Lerner, Sorin}, biburl = {https://www.bibsonomy.org/bibtex/213721d317128d260f2537ad4f03fcc8c/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2010}, editor = {Zorn, Benjamin G. and Aiken, Alex}, ee = {https://www.wikidata.org/entity/Q121012547}, interhash = {592383bbe4f632fa03577b58953d745c}, intrahash = {13721d317128d260f2537ad4f03fcc8c}, isbn = {978-1-4503-0019-3}, keywords = {dblp}, pages = {111-121}, publisher = {ACM}, timestamp = {2024-07-29T07:12:44.000+0200}, title = {Bringing extensibility to verified compilers.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#TatlockL10}, year = 2010 }