%0 Conference Paper %1 conf/cpp/ForsterSSS19 %A Forster, Yannick %A Schäfer, Steven %A Spies, Simon %A Stark, Kathrin %B CPP %D 2019 %E Mahboubi, Assia %E Myreen, Magnus O. %I ACM %K dblp %P 118-131 %T Call-by-push-value in coq: operational, equational, and denotational theory. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#ForsterSSS19 %@ 978-1-4503-6222-1

@inproceedings{conf/cpp/ForsterSSS19, added-at = {2019-01-08T00:00:00.000+0100}, author = {Forster, Yannick and Schäfer, Steven and Spies, Simon and Stark, Kathrin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29fd6c7b6d5c6394f3523c6f7412ed00d/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2019}, editor = {Mahboubi, Assia and Myreen, Magnus O.}, ee = {https://doi.org/10.1145/3293880.3294097}, interhash = {d7eee5821894d1dd98f14170894a18c7}, intrahash = {9fd6c7b6d5c6394f3523c6f7412ed00d}, isbn = {978-1-4503-6222-1}, keywords = {dblp}, pages = {118-131}, publisher = {ACM}, timestamp = {2019-09-27T17:11:27.000+0200}, title = {Call-by-push-value in coq: operational, equational, and denotational theory.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#ForsterSSS19}, year = 2019 }