Inproceedings,
A Typed Slicing Compilation of the Polymorphic RPC calculus.
K. Choi, J. Cheney, S. Lindley, and B. Reynders.PPDP, page 11:1-11:15. ACM, (2021)
Meta data
- BibTeX key
- conf/ppdp/0001CLR21
- entry type
- inproceedings
- booktitle
- PPDP
- year
- 2021
- pages
- 11:1-11:15
- publisher
- ACM
- crossref
- conf/ppdp/2021
- ee
- https://doi.org/10.1145/3479394.3479406
- isbn
- 978-1-4503-8689-0
- url
- http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#0001CLR21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}