Affiliation:
1. Chonnam National University, Republic of Korea
2. The University of Edinburgh, United Kingdom
Funder
European Research Council
NRF of Korea
ISCF Metrology Fellowship by the UK government's Department for Business, Energy and Industrial Strategy
UKRI Future Leaders Fellowship EHOP
Reference27 articles.
1. An optimizing compiler for a purely functional web-application language
2. Ur/Web;Chlipala Adam;A Simple Model for Programming the Web. SIGPLAN Not.,2015
3. A theory of RPC calculi for client–server model
4. A polymorphic RPC calculus
5. Kwanghoon Choi James Cheney Sam Lindley and Bob Reynders. 2021. A Typed Slicing Compilation of the Polymorphic RPC Calculus. arxiv:2107.10793 [cs.PL] Kwanghoon Choi James Cheney Sam Lindley and Bob Reynders. 2021. A Typed Slicing Compilation of the Polymorphic RPC Calculus. arxiv:2107.10793 [cs.PL]