%0 Conference Paper %1 conf/ppdp/0001CLR21 %A Choi, Kwanghoon %A Cheney, James %A Lindley, Sam %A Reynders, Bob %B PPDP %D 2021 %E Veltri, Niccolò %E Benton, Nick %E Ghilezan, Silvia %I ACM %K dblp %P 11:1-11:15 %T A Typed Slicing Compilation of the Polymorphic RPC calculus. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#0001CLR21 %@ 978-1-4503-8689-0

@inproceedings{conf/ppdp/0001CLR21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Choi, Kwanghoon and Cheney, James and Lindley, Sam and Reynders, Bob}, biburl = {https://www.bibsonomy.org/bibtex/24058eea56bf18154e4b6e15d4add65ac/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2021}, editor = {Veltri, Niccolò and Benton, Nick and Ghilezan, Silvia}, ee = {https://doi.org/10.1145/3479394.3479406}, interhash = {ec831c8cc9cb97f1b2dbb4e494499a4e}, intrahash = {4058eea56bf18154e4b6e15d4add65ac}, isbn = {978-1-4503-8689-0}, keywords = {dblp}, pages = {11:1-11:15}, publisher = {ACM}, timestamp = {2024-04-09T21:36:32.000+0200}, title = {A Typed Slicing Compilation of the Polymorphic RPC calculus.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#0001CLR21}, year = 2021 }