Call-by-push-value in coq: operational, equational, and denotational theory. Forster, Y., Schäfer, S., Spies, S., & Stark, K. In Mahboubi, A. & Myreen, M. O., editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019, pages 118–131, 2019. ACM. Paper doi bibtex @inproceedings{DBLP:conf/cpp/ForsterSSS19,
author = {Yannick Forster and
Steven Sch{\"{a}}fer and
Simon Spies and
Kathrin Stark},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Call-by-push-value in coq: operational, equational, and denotational
theory},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {118--131},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294097},
doi = {10.1145/3293880.3294097},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ForsterSSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"wKFZ6e4NWs3uzhjvQ","bibbaseid":"forster-schfer-spies-stark-callbypushvalueincoqoperationalequationalanddenotationaltheory-2019","author_short":["Forster, Y.","Schäfer, S.","Spies, S.","Stark, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yannick"],"propositions":[],"lastnames":["Forster"],"suffixes":[]},{"firstnames":["Steven"],"propositions":[],"lastnames":["Schäfer"],"suffixes":[]},{"firstnames":["Simon"],"propositions":[],"lastnames":["Spies"],"suffixes":[]},{"firstnames":["Kathrin"],"propositions":[],"lastnames":["Stark"],"suffixes":[]}],"editor":[{"firstnames":["Assia"],"propositions":[],"lastnames":["Mahboubi"],"suffixes":[]},{"firstnames":["Magnus","O."],"propositions":[],"lastnames":["Myreen"],"suffixes":[]}],"title":"Call-by-push-value in coq: operational, equational, and denotational theory","booktitle":"Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019","pages":"118–131","publisher":"ACM","year":"2019","url":"https://doi.org/10.1145/3293880.3294097","doi":"10.1145/3293880.3294097","timestamp":"Sat, 05 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cpp/ForsterSSS19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cpp/ForsterSSS19,\n author = {Yannick Forster and\n Steven Sch{\\\"{a}}fer and\n Simon Spies and\n Kathrin Stark},\n editor = {Assia Mahboubi and\n Magnus O. Myreen},\n title = {Call-by-push-value in coq: operational, equational, and denotational\n theory},\n booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on\n Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January\n 14-15, 2019},\n pages = {118--131},\n publisher = {{ACM}},\n year = {2019},\n url = {https://doi.org/10.1145/3293880.3294097},\n doi = {10.1145/3293880.3294097},\n timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cpp/ForsterSSS19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Forster, Y.","Schäfer, S.","Spies, S.","Stark, K."],"editor_short":["Mahboubi, A.","Myreen, M. O."],"key":"DBLP:conf/cpp/ForsterSSS19","id":"DBLP:conf/cpp/ForsterSSS19","bibbaseid":"forster-schfer-spies-stark-callbypushvalueincoqoperationalequationalanddenotationaltheory-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3293880.3294097"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/188/5682-2.bib","dataSources":["5syoA3E4Kc7JZpcPK"],"keywords":[],"search_terms":["call","push","value","coq","operational","equational","denotational","theory","forster","schäfer","spies","stark"],"title":"Call-by-push-value in coq: operational, equational, and denotational theory","year":2019}