Simon Fowler

35 papers A 3B 2C 1Journal 19Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Speak Now: Safe Actor Programming with Multiparty Session Types.
CoRR
Simon Fowler, Raymond Hu
2025 — conf
Multiparty Session Types with a Bang!
ESOP (2)
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
2025 J jnl
Multiparty Session Types with a Bang!
CoRR
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
2025 — ed.
Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2024 — conf
Behavioural Types for Heterogeneous Systems (Position Paper).
PLACES@ETAPS
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
2024 — ed.
Proceedings 17th Interaction and Concurrency Experience, ICE 2024, Groningen, The Netherlands, 21st June 2024.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2023 — ed.
Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina
2023 J jnl
Separating Sessions Smoothly.
Log. Methods Comput. Sci.
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2023 J jnl
Special Delivery: Programming with Mailbox Types (Extended Version).
CoRR
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
2023 J jnl
Special Delivery: Programming with Mailbox Types.
Proc. ACM Program. Lang.
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
2022 J jnl
Language-Integrated Query for Temporal Data (Extended version).
CoRR
Simon Fowler, Vashti Galpin, James Cheney
2022 B conf
Language-Integrated Query for Temporal Data.
GPCE
Simon Fowler, Vashti Galpin, James Cheney
2021 — ed.
AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event / Chicago, IL, USA, 17 October 2021
AGERE!@SPLASH
Elias Castegren, Joeri De Koster, Simon Fowler
2021 J jnl
Cross-tier Web Programming for Curated Databases: a Case Study.
Int. J. Digit. Curation
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
2021 J jnl
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact).
Dagstuhl Artifacts Ser.
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 J jnl
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version).
CoRR
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 A conf
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
ECOOP
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 B conf
Separating Sessions Smoothly.
CONCUR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 J jnl
Separating Sessions Smoothly.
CoRR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2020 J jnl
A polymorphic RPC calculus.
Sci. Comput. Program.
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
2020 J jnl
Cross-tier Web Programming for Curated Databases: a Case Study.
Int. J. Digit. Curation
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
2020 J jnl
Cross-tier web programming for curated databases: A case study.
CoRR
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
2020 J jnl
Language-Integrated Updatable Views (Extended version).
CoRR
Rudi Horn, Simon Fowler, James Cheney
2020 J jnl
Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact).
Dagstuhl Artifacts Ser.
Simon Fowler
2020 A conf
Model-View-Update-Communicate: Session Types Meet the Elm Architecture.
ECOOP
Simon Fowler
2019 J jnl
A Polymorphic RPC Calculus.
CoRR
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
2019 J jnl
Exceptional asynchronous session types: session types without tiers.
Proc. ACM Program. Lang.
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
2019 — conf
Language-integrated updatable views.
IFL
Rudi Horn, Simon Fowler, James Cheney
2019 J jnl
Model-View-Update-Communicate: Session Types meet the Elm Architecture.
CoRR
Simon Fowler
2019 — —
Typed concurrent functional programming with channels, actors and sessions.
Simon Fowler
2017 A conf
Mixing Metaphors: Actors as Channels and Channels as Actors.
ECOOP
Simon Fowler, Sam Lindley, Philip Wadler
2016 — conf
An Erlang Implementation of Multiparty Session Actors.
ICE
Simon Fowler
2016 J jnl
Mixing Metaphors: Actors as Channels and Channels as Actors.
CoRR
Simon Fowler, Sam Lindley, Philip Wadler
2015 C conf
Reactive Single-Page Applications with Dynamic Dataflow.
PADL
Simon Fowler, Loïc Denuzière, Adam Granicz
2013 — conf
Dependent Types for Safe and Secure Web Programming.
IFL
Simon Fowler, Edwin C. Brady