Výsledky vyhledávání - "Choi, Kwanghoon"

Report

A Theory of RPC Calculi for Client-Server Model

Autor: Choi, Kwanghoon, Chang, Byeong-Mo

Publikováno v: Journal of Functional Programming (JFP), Vol.29, pp.1-39, 2019

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 programmers write client and server programs separately and test the multip

Externí odkaz: http://arxiv.org/abs/2110.15183

Zobrazit plný text záznamu

Report

A Typed Slicing Compilation of the Polymorphic RPC Calculus

Autor: Choi, Kwanghoon, Cheney, James, Lindley, Sam, Reynders, Bob

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 c

Externí odkaz: http://arxiv.org/abs/2107.10793

Zobrazit plný text záznamu

Report

A Polymorphic RPC Calculus

Autor: Choi, Kwanghoon, Cheney, James, Fowler, Simon, Lindley, Sam

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. Subsequently, the typed RPC calculus is designed to capture the location inform

Externí odkaz: http://arxiv.org/abs/1910.10988

Zobrazit plný text záznamu