A polymorphic RPC calculus

Kwanghoon Choi 0001, James Cheney, Simon Fowler 0001, Sam Lindley. A polymorphic RPC calculus. Science of Computer Programming, 197:102499, 2020. [doi]

Abstract

Abstract is missing.