Dependent Types for Safe and Secure Web Programming. - Simon Fowler 001; Edwin C. Brady (IFL, 2013)

Reactive Single-Page Applications with Dynamic Dataflow. - Simon Fowler 001; Loïc Denuzière; Adam Granicz (PADL, 2015)

An Erlang Implementation of Multiparty Session Actors. - Simon Fowler 001 (ICE, 2016)

Mixing Metaphors: Actors as Channels and Channels as Actors. - Simon Fowler 001; Sam Lindley; Philip Wadler (ECOOP, 2017)

Language-integrated updatable views. - Rudi Horn; Simon Fowler 001; James Cheney (IFL, 2019)

Exceptional asynchronous session types: session types without tiers. - Simon Fowler 001; Sam Lindley; J. Garrett Morris; Sára Decova (Proc. ACM Program. Lang., 2019)

Typed concurrent functional programming with channels, actors and sessions. - Simon Fowler 001 (2019)

Model-View-Update-Communicate: Session Types Meet the Elm Architecture. - Simon Fowler 001 (ECOOP, 2020)

Language-Integrated Updatable Views (Extended version). - Rudi Horn; Simon Fowler 001; James Cheney (CoRR, 2020)

Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact). - Simon Fowler 001 (Dagstuhl Artifacts Ser., 2020)

Cross-tier Web Programming for Curated Databases: a Case Study. - Simon Fowler 001; Simon D. Harding; Joanna L. Sharman; James Cheney (Int. J. Digit. Curation, 2020)

A polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Simon Fowler 001; Sam Lindley (Sci. Comput. Program., 2020)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (ECOOP, 2021)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (CoRR, 2021)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (Dagstuhl Artifacts Ser., 2021)

Language-Integrated Query for Temporal Data. - Simon Fowler 001; Vashti Galpin; James Cheney (GPCE, 2022)

Language-Integrated Query for Temporal Data (Extended version). - Simon Fowler 001; Vashti Galpin; James Cheney (CoRR, 2022)

Special Delivery: Programming with Mailbox Types (Extended Version). - Simon Fowler 001; Duncan Paul Attard; Franciszek Sowul; Simon J. Gay; Phil Trinder (CoRR, 2023)

Separating Sessions Smoothly. - Simon Fowler 001; Wen Kokke; Ornela Dardha; Sam Lindley; J. Garrett Morris (Log. Methods Comput. Sci., 2023)

Special Delivery: Programming with Mailbox Types. - Simon Fowler 001; Duncan Paul Attard; Franciszek Sowul; Simon J. Gay; Phil Trinder (Proc. ACM Program. Lang., 2023)

Behavioural Types for Heterogeneous Systems (Position Paper). - Simon Fowler 001; Philipp Haller; Roland Kuhn 002; Sam Lindley; Alceste Scalas; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Multiparty Session Types with a Bang! - Matthew Alan Le Brun; Simon Fowler 001; Ornela Dardha (ESOP (2), 2025)