%0 Conference Paper %1 conf/itp/PohjolaGSN22 %A Pohjola, Johannes Åman %A Gómez-Londoño, Alejandro %A Shaker, James %A Norrish, Michael %B ITP %D 2022 %E Andronick, June %E de Moura, Leonardo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 27:1-27:18 %T Kalas: A Verified, End-To-End Compiler for a Choreographic Language. %U http://dblp.uni-trier.de/db/conf/itp/itp2022.html#PohjolaGSN22 %V 237 %@ 978-3-95977-252-5

@inproceedings{conf/itp/PohjolaGSN22, added-at = {2025-03-03T00:00:00.000+0100}, author = {Pohjola, Johannes Åman and Gómez-Londoño, Alejandro and Shaker, James and Norrish, Michael}, biburl = {https://www.bibsonomy.org/bibtex/29915636460dc198fa2175dcf0c58a8af/dblp}, booktitle = {ITP}, crossref = {conf/itp/2022}, editor = {Andronick, June and de Moura, Leonardo}, ee = {https://doi.org/10.4230/LIPIcs.ITP.2022.27}, interhash = {59b3bcfb1f247d18e37cf0932d8def2e}, intrahash = {9915636460dc198fa2175dcf0c58a8af}, isbn = {978-3-95977-252-5}, keywords = {dblp}, pages = {27:1-27:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2025-04-02T02:29:02.000+0200}, title = {Kalas: A Verified, End-To-End Compiler for a Choreographic Language.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2022.html#PohjolaGSN22}, volume = 237, year = 2022 }