% Encoding: UTF-8

@InProceedings{Fiat+SNAPL2017,
  author       = {Adam Chlipala and Benjamin Delaware and Samuel Duchovni and
                  Jason Gross and Clément Pit-Claudel and Sorawit Suriyakarn and
                  Peng Wang and Katherine Ye},
  title        = {The End of History? {Using} a Proof Assistant to Replace
                  Language Design with Library Design},
  booktitle    = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
  year         = 2017,
  editor       = {Benjamin S. Lerner and Rastislav Bodík and Shriram
                  Krishnamurthi},
  volume       = 71,
  series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages        = {3:1--3:15},
  address      = {Dagstuhl, Germany},
  publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  annote       = {Keywords: Domain-specific languages, synthesis, verification,
                  proof assistants, software development},
  isbn         = {978-3-95977-032-3},
  issn         = {1868-8969},
  urn          = {urn:nbn:de:0030-drops-71233},
  doi          = {10.4230/LIPIcs.SNAPL.2017.3},
  url          = {https://drops.dagstuhl.de/opus/volltexte/2017/7123/}
}