%0 Conference Paper %1 conf/pldi/Castro-Perez0GY21 %A Castro-Perez, David %A Ferreira, Francisco %A Gheri, Lorenzo %A Yoshida, Nobuko %B PLDI %D 2021 %E Freund, Stephen N. %E Yahav, Eran %I ACM %K dblp %P 237-251 %T Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#Castro-Perez0GY21 %@ 978-1-4503-8391-2

@inproceedings{conf/pldi/Castro-Perez0GY21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Castro-Perez, David and Ferreira, Francisco and Gheri, Lorenzo and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/20575466cd14666cff073a8dfb0abddc8/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2021}, editor = {Freund, Stephen N. and Yahav, Eran}, ee = {https://doi.org/10.1145/3453483.3454041}, interhash = {e448a5210a440a818bee2cc405cef448}, intrahash = {0575466cd14666cff073a8dfb0abddc8}, isbn = {978-1-4503-8391-2}, keywords = {dblp}, pages = {237-251}, publisher = {ACM}, timestamp = {2024-04-09T18:59:58.000+0200}, title = {Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#Castro-Perez0GY21}, year = 2021 }