%0 Conference Paper %1 conf/cpp/RouvoetPKV20 %A Rouvoet, Arjen %A Poulsen, Casper Bach %A Krebbers, Robbert %A Visser, Eelco %B CPP %D 2020 %E Blanchette, Jasmin %E Hritcu, Catalin %I ACM %K dblp %P 284-298 %T Intrinsically-typed definitional interpreters for linear, session-typed languages. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2020.html#RouvoetPKV20 %@ 978-1-4503-7097-4

@inproceedings{conf/cpp/RouvoetPKV20, added-at = {2020-01-23T00:00:00.000+0100}, author = {Rouvoet, Arjen and Poulsen, Casper Bach and Krebbers, Robbert and Visser, Eelco}, biburl = {https://www.bibsonomy.org/bibtex/2fdc6f058697daf63ef67b44456935b49/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2020}, editor = {Blanchette, Jasmin and Hritcu, Catalin}, ee = {https://doi.org/10.1145/3372885.3373818}, interhash = {b23c017ddc0731687eacf880cbcf978a}, intrahash = {fdc6f058697daf63ef67b44456935b49}, isbn = {978-1-4503-7097-4}, keywords = {dblp}, pages = {284-298}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {Intrinsically-typed definitional interpreters for linear, session-typed languages.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2020.html#RouvoetPKV20}, year = 2020 }