Simon Fowler

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 26

Top Topics

Language Constructs

Automated Deduction

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS (2024)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19 (3) (2023)
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina
Proceedings 16th Interaction and Concurrency Experience. CoRR (2023)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types (Extended Version). CoRR (2023)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Simon Fowler, Vashti Galpin, James Cheney
Language-Integrated Query for Temporal Data (Extended version). CoRR (2022)
Simon Fowler, Vashti Galpin, James Cheney
Language-Integrated Query for Temporal Data. GPCE (2022)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CoRR (2021)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. ECOOP (2021)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CONCUR (2021)
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation 16 (1) (2021)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). CoRR (2021)
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation 15 (1) (2020)
Simon Fowler
Model-View-Update-Communicate: Session Types Meet the Elm Architecture. ECOOP (2020)
Simon Fowler
Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A polymorphic RPC calculus. Sci. Comput. Program. 197 (2020)
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
Cross-tier web programming for curated databases: A case study. CoRR (2020)
Rudi Horn, Simon Fowler, James Cheney
Language-Integrated Updatable Views (Extended version). CoRR (2020)
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3 (POPL) (2019)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A Polymorphic RPC Calculus. CoRR (2019)
Simon Fowler
Model-View-Update-Communicate: Session Types meet the Elm Architecture. CoRR (2019)
Rudi Horn, Simon Fowler, James Cheney
Language-integrated updatable views. IFL (2019)
Simon Fowler, Sam Lindley, Philip Wadler
Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP (2017)
Simon Fowler, Sam Lindley, Philip Wadler
Mixing Metaphors: Actors as Channels and Channels as Actors. CoRR (2016)
Simon Fowler
An Erlang Implementation of Multiparty Session Actors. ICE (2016)
Simon Fowler, Loïc Denuzière, Adam Granicz
Reactive Single-Page Applications with Dynamic Dataflow. PADL (2015)
Simon Fowler, Edwin C. Brady
Dependent Types for Safe and Secure Web Programming. IFL (2013)