@inproceedings{DBLP:conf/popl/StrubSFC12,
  author = {Pierre{-}Yves Strub and Nikhil Swamy and
C{\'{e}}dric Fournet and Juan Chen},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/popl/StrubSFC12.bib},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages,
{POPL} 2012, Philadelphia, Pennsylvania, USA, January
22-28, 2012},
  doi = {10.1145/2103656.2103723},
  editor = {John Field and Michael Hicks},
  isbn = {978-1-4503-1083-3},
  pages = {571--584},
  publisher = {{ACM}},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  title = {Self-certification: bootstrapping certified
typecheckers in F* with Coq},
  url = {https://doi.org/10.1145/2103656.2103723},
  year = {2012}
}

{"_id":"BSjqQhmKhPr9oEEAF","bibbaseid":"strub-swamy-fournet-chen-selfcertificationbootstrappingcertifiedtypecheckersinfwithcoq-2012","downloads":2,"creationDate":"2016-06-21T10:07:36.452Z","title":"Self-certification: bootstrapping certified typecheckers in F* with Coq","author_short":["Strub, P.","Swamy, N.","Fournet, C.","Chen, J."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Juan"],"propositions":[],"lastnames":["Chen"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/popl/StrubSFC12.bib","booktitle":"Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012","doi":"10.1145/2103656.2103723","editor":[{"firstnames":["John"],"propositions":[],"lastnames":["Field"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Hicks"],"suffixes":[]}],"isbn":"978-1-4503-1083-3","pages":"571–584","publisher":"ACM","timestamp":"Thu, 24 Jun 2021 16:19:31 +0200","title":"Self-certification: bootstrapping certified typecheckers in F* with Coq","url":"https://doi.org/10.1145/2103656.2103723","year":"2012","bibtex":"@inproceedings{DBLP:conf/popl/StrubSFC12,\n author = {Pierre{-}Yves Strub and Nikhil Swamy and\nC{\\'{e}}dric Fournet and Juan Chen},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/popl/StrubSFC12.bib},\n booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT}\nSymposium on Principles of Programming Languages,\n{POPL} 2012, Philadelphia, Pennsylvania, USA, January\n22-28, 2012},\n doi = {10.1145/2103656.2103723},\n editor = {John Field and Michael Hicks},\n isbn = {978-1-4503-1083-3},\n pages = {571--584},\n publisher = {{ACM}},\n timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},\n title = {Self-certification: bootstrapping certified\ntypecheckers in F* with Coq},\n url = {https://doi.org/10.1145/2103656.2103723},\n year = {2012}\n}\n\n","author_short":["Strub, P.","Swamy, N.","Fournet, C.","Chen, J."],"editor_short":["Field, J.","Hicks, M."],"key":"DBLP:conf/popl/StrubSFC12","id":"DBLP:conf/popl/StrubSFC12","bibbaseid":"strub-swamy-fournet-chen-selfcertificationbootstrappingcertifiedtypecheckersinfwithcoq-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2103656.2103723"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":2,"html":""},"search_terms":["self","certification","bootstrapping","certified","typecheckers","coq","strub","swamy","fournet","chen"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}