7 citations · 7 across the 1 of their papers we have counts for
3 papers
cs.PL2021★ 7 cited
A Theory of RPC Calculi for Client-Server Model
Kwanghoon Choi, Byeong-Mo Chang
With multi-tier programming languages, programmers can specify the locations of code to run in order to reduce development efforts for the web-based client-server model where progr…
cs.PL2021
A Typed Slicing Compilation of the Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Sam Lindley +1
The polymorphic RPC calculus allows programmers to write succinct multitier programs using polymorphic location constructs. However, until now it lacked an implementation. We devel…
cs.PL2019
A Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Simon Fowler +1
The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model. Subsequen…