%0 Conference Paper %1 conf/ppdp/DasP20 %A Das, Ankush %A Pfenning, Frank %B PPDP %D 2020 %I ACM %K dblp %P 7:1-7:15 %T Verified Linear Session-Typed Concurrent Programming. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2020.html#DasP20 %@ 978-1-4503-8821-4

@inproceedings{conf/ppdp/DasP20, added-at = {2020-09-24T00:00:00.000+0200}, author = {Das, Ankush and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/236271de9e354e75d90906ac7a884a544/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2020}, ee = {https://doi.org/10.1145/3414080.3414087}, interhash = {cf23db64aa0e05f72a1da497eac8afe4}, intrahash = {36271de9e354e75d90906ac7a884a544}, isbn = {978-1-4503-8821-4}, keywords = {dblp}, pages = {7:1-7:15}, publisher = {ACM}, timestamp = {2020-09-25T12:02:50.000+0200}, title = {Verified Linear Session-Typed Concurrent Programming.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2020.html#DasP20}, year = 2020 }