5 citations · 5 across the 1 of their papers we have counts for
2 papers
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.PL2020★ 5 cited
Gavial: Programming the web with multi-tier FRP
Bob Reynders, Frank Piessens, Dominique Devriese
Developing web applications requires dealing with their distributed nature and the natural asynchronicity of user input and network communication. For facilitating this, different…