1 citations · 1 across the 1 of their papers we have counts for
4 papers
Language-Integrated Query for Temporal Data (Extended version)
Simon Fowler, Vashti Galpin, James Cheney
Modern applications often manage time-varying data. Despite decades of research on temporal databases, which culminated in the addition of temporal data operations into the SQL:201…
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Paul Harvey, Simon Fowler, Ornela Dardha +1
Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of…
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…
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…