% Encoding: UTF-8

@InProceedings{Fiat+POPL2015,
  Title                    = {{Fiat}: Deductive Synthesis of Abstract Data Types in a Proof Assistant},
  Author                   = {Delaware, Benjamin and Pit-Claudel, Clément and Gross, Jason and Chlipala, Adam},
  Booktitle                = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages - {POPL} '15},
  Year                     = {2015},
  Pages                    = {689--700},
  Publisher                = {ACM Press},
  ISBN                     = {http://id.crossref.org/isbn/9781450333009},
  Doi                      = {10.1145/2676726.2677006},
  Url                      = {https://pit-claudel.fr/clement/papers/fiat-POPL15.pdf}
}