TY  - RPRT
TI  - A Typed Slicing Compilation of the Polymorphic RPC Calculus
AU  - Kwanghoon Choi
AU  - James Cheney
AU  - Sam Lindley
AU  - Bob Reynders
PY  - 2021
UR  - https://arxiv.org/abs/2107.10793
ID  - 2107.10793
ER  -