References & Citations
Computer Science > Programming Languages
Title: A Typed Slicing Compilation of the Polymorphic RPC Calculus
(Submitted on 22 Jul 2021 (v1), last revised 27 Jul 2021 (this version, v2))
Abstract: The polymorphic RPC calculus allows programmers to write succinct multitier programs using polymorphic location constructs. However, until now it lacked an implementation. We develop an experimental programming language based on the polymorphic RPC calculus. We introduce a polymorphic Client-Server (CS) calculus with the client and server parts separated. In contrast to existing untyped CS calculi, our calculus is not only able to resolve polymorphic locations statically, but it is also able to do so dynamically. We design a type-based slicing compilation of the polymorphic RPC calculus into this CS calculus, proving type and semantic correctness. We propose a method to erase types unnecessary for execution but retaining locations at runtime by translating the polymorphic CS calculus into an untyped CS calculus, proving semantic correctness.
Submission history
From: Kwanghoon Choi [view email][v1] Thu, 22 Jul 2021 16:48:28 GMT (287kb,D)
[v2] Tue, 27 Jul 2021 13:57:35 GMT (287kb,D)
Link back to: arXiv, form interface, contact.