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
93*2019
An Erlang Implementation of Multiparty Session Actors
S Fowler
9th Interaction and Concurrency Experience, 2016
442016
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
322021
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
282017
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
20*2021
Model-View-Update-Communicate: Session Types meet the Elm Architecture
S Fowler
34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 14 …, 2020
152020
Typed Concurrent Functional Programming with Channels, Actors, and Sessions
S Fowler
142019
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
102013
Cross-tier web programming for curated databases: a case study
S Fowler, SD Harding, J Sharman, J Cheney
arXiv preprint arXiv:2003.03845, 2020
92020
Special delivery: programming with mailbox types
S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder
Proceedings of the ACM on Programming Languages 7 (ICFP), 78-107, 2023
6*2023
A polymorphic RPC calculus
K Choi, J Cheney, S Fowler, S Lindley
Science of Computer Programming 197, 102499, 2020
52020
Language-Integrated Updatable Views
R Horn, S Fowler, J Cheney
IFL 2019, 2020
4*2020
Language-integrated query for temporal data
S Fowler, V Galpin, J Cheney
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
32022
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–16