24 citations · 37 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Simon Fowler
Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically. Safely implementing session types requires li…
cs.PL2019★ 1 cited
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…