%0 Conference Paper %1 conf/snapl/ChlipalaDDGPSWY17 %A Chlipala, Adam %A Delaware, Benjamin %A Duchovni, Samuel %A Gross, Jason %A Pit-Claudel, Clément %A Suriyakarn, Sorawit %A Wang, Peng %A Ye, Katherine %B SNAPL %D 2017 %E Lerner, Benjamin S. %E Bodík, Rastislav %E Krishnamurthi, Shriram %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:15 %T The End of History? Using a Proof Assistant to Replace Language Design with Library Design. %U http://dblp.uni-trier.de/db/conf/snapl/snapl2017.html#ChlipalaDDGPSWY17 %V 71 %@ 978-3-95977-032-3

@inproceedings{conf/snapl/ChlipalaDDGPSWY17, added-at = {2019-08-22T00:00:00.000+0200}, author = {Chlipala, Adam and Delaware, Benjamin and Duchovni, Samuel and Gross, Jason and Pit-Claudel, Clément and Suriyakarn, Sorawit and Wang, Peng and Ye, Katherine}, biburl = {https://www.bibsonomy.org/bibtex/29cc9edb642190288e6037e86a6ebe9cf/dblp}, booktitle = {SNAPL}, crossref = {conf/snapl/2017}, editor = {Lerner, Benjamin S. and Bodík, Rastislav and Krishnamurthi, Shriram}, ee = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.3}, interhash = {f6b058d3dd32866c035d444586480b69}, intrahash = {9cc9edb642190288e6037e86a6ebe9cf}, isbn = {978-3-95977-032-3}, keywords = {dblp}, pages = {3:1-3:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:47:58.000+0100}, title = {The End of History? Using a Proof Assistant to Replace Language Design with Library Design.}, url = {http://dblp.uni-trier.de/db/conf/snapl/snapl2017.html#ChlipalaDDGPSWY17}, volume = 71, year = 2017 }