Follow
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
87*2019
An Erlang Implementation of Multiparty Session Actors
S Fowler
9th Interaction and Concurrency Experience, 2016
332016
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
212017
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
P Harvey, S Fowler, O Dardha, SJ Gay
35th European Conference on Object-Oriented Programming (ECOOP 2021) 194, 10 …, 2021
182021
Separating Sessions Smoothly
S Fowler, W Kokke, O Dardha, S Lindley, JG Morris
32nd International Conference on Concurrency Theory (CONCUR 2021) 203, 36:1 …, 2021
14*2021
Reactive Single-Page Applications with Dynamic Dataflow
S Fowler, L Denuzière, A Granicz
Practical Aspects of Declarative Languages, 2015
122015
Dependent types for safe and secure web programming
S Fowler, E Brady
IFL 2013, 49-60, 2013
112013
Model-View-Update-Communicate: Session Types meet the Elm Architecture
S Fowler
34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 14 …, 2020
102020
Typed Concurrent Functional Programming with Channels, Actors, and Sessions
S Fowler
102019
Cross-tier web programming for curated databases: a case study
S Fowler, SD Harding, J Sharman, J Cheney
arXiv preprint arXiv:2003.03845, 2020
82020
Language-Integrated Updatable Views
R Horn, S Fowler, J Cheney
IFL 2019, 2020
5*2020
A polymorphic RPC calculus
K Choi, J Cheney, S Fowler, S Lindley
Science of Computer Programming 197, 102499, 2020
32020
Language-Integrated Query for Temporal Data
S Fowler, V Galpin, J Cheney
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
2022
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–15