Simon Fowler
Title
Cited by
Cited by
Year
Exceptional asynchronous session types: Session types without tiers
S Fowler, S Lindley, JG Morris, S Decova
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
33*2019
An Erlang Implementation of Multiparty Session Actors
S Fowler
9th Interaction and Concurrency Experience, 2016
212016
Mixing Metaphors: Actors as Channels and Channels as Actors
S Fowler, S Lindley, P Wadler
31st European Conference on Object-Oriented Programming (ECOOP 2017) 74, 11 …, 2017
17*2017
Reactive Single-Page Applications with Dynamic Dataflow
S Fowler, L Denuzière, A Granicz
Practical Aspects of Declarative Languages, 2015
112015
Dependent types for safe and secure web programming
S Fowler, E Brady
IFL 2013, 49-60, 2013
102013
Model-View-Update-Communicate: Session Types meet the Elm Architecture
S Fowler
34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 14 …, 2020
62020
Typed Concurrent Functional Programming with Channels, Actors, and Sessions
S Fowler
32019
A polymorphic rpc calculus
K Choi, J Cheney, S Fowler, S Lindley
Science of Computer Programming, 102499, 2020
12020
Cross-tier web programming for curated databases: A case study
S Fowler, SD Harding, J Sharman, J Cheney
arXiv preprint arXiv:2003.03845, 2020
12020
Language-Integrated Updatable Views
R Horn, S Fowler, J Cheney
IFL 2019, 2020
1*2020
Monitoring Erlang/OTP Applications using Multiparty Session Types
S Fowler
MSc(R) Thesis, University of Edinburgh, 2015
2015
Verified Networking using Dependent Types
S Fowler
BSc Dissertation, University of St Andrews, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–12