Seguir
Simon Fowler
Título
Citado por
Citado por
Año
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
102*2019
An Erlang Implementation of Multiparty Session Actors
S Fowler
9th Interaction and Concurrency Experience, 2016
502016
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
392021
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
312017
Separating Sessions Smoothly
S Fowler, W Kokke, O Dardha, S Lindley, JG Morris
Logical Methods in Computer Science 19, 2023
24*2023
Model-View-Update-Communicate: Session Types meet the Elm Architecture
S Fowler
34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 14 …, 2020
162020
Typed Concurrent Functional Programming with Channels, Actors, and Sessions
S Fowler
162019
Reactive Single-Page Applications with Dynamic Dataflow
S Fowler, L Denuzière, A Granicz
Practical Aspects of Declarative Languages, 2015
122015
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
10*2023
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
A polymorphic RPC calculus
K Choi, J Cheney, S Fowler, S Lindley
Science of Computer Programming 197, 102499, 2020
62020
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
Behavioural Types for Heterogeneous Systems (Position Paper)
S Fowler, P Haller, R Kuhn, S Lindley, A Scalas, VT Vasconcelos
arXiv preprint arXiv:2404.05479, 2024
2024
Speak Now: Safe Actor Programming with Multiparty Session Types
S Fowler, R Hu
Draft, 2024
2024
Event-Driven Multiparty Session Actors
S Fowler, R Hu
2023
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19