Publications Drafts Comments on drafts are always very welcome! Special Delivery: Programming with Mailbox Types Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay and Phil Trinder Draft, March 2023. Accepted to ICFP 2023. Publications Language-Integrated Query for Temporal Data Simon Fowler, Vashti Galpin, and James Cheney GPCE 2022 [Extended] [Artifact] Separating Sessions Smoothly Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris CONCUR 2021 Shortlisted for best paper award [Extended (Updated April 2022)] [LIPIcs] [Video] Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay ECOOP 2021 [Extended] [LIPIcs] [Artifact (Evaluated)] [Video] Cross-tier web programming for curated databases: A case study Simon Fowler, Simon D. Harding, Joanna Sharman, and James Cheney International Journal of Digital Curation 16(1). Presented at IDCC 2020. [arXiv] [Data] [IDCC Pre-print (Old)] A Polymorphic RPC Calculus Kwanghoon Choi, James Cheney, Simon Fowler, and Sam Lindley Science of Computer Programming [Elsevier] Model-View-Update-Communicate: Session Types meet the Elm Architecture Simon Fowler ECOOP 2020 [Extended] [LIPIcs] [Artifact (Evaluated)] [Video] Language-Integrated Updatable Views Rudi Horn, Simon Fowler, and James Cheney IFL 2019 [Extended] [Artifact] Exceptional Asynchronous Session Types: Session Types without Tiers Simon Fowler, Sam Lindley, J. Garrett Morris, and Sara Decova PACMPL 3(POPL), 2019 Note: this version fixes a small error in Lemma 3.4, so should be preferred to the journal version. [Extended] [ACM] [Artifact (Evaluated)] [Video] Mixing Metaphors: Actors as Channels and Channels as Actors Simon Fowler, Sam Lindley, and Philip Wadler ECOOP 2017 Superseded: see the chapters in my PhD Thesis. [LIPIcs] [Video] An Erlang Implementation of Multiparty Session Actors Simon Fowler ICE 2016 [EPTCS] Reactive Single-Page Applications with Dynamic Dataflow Simon Fowler, Loic Denuziere, and Adam Granicz PADL 2015 [Springer] Dependent Types for Safe and Secure Web Programming Simon Fowler and Edwin Brady IFL 2013 [ACM] Theses Typed Concurrent Functional Programming with Channels, Actors, and Sessions PhD Thesis, University of Edinburgh, 2019 Monitoring Erlang/OTP Applications using Multiparty Session Types MSc by Research Thesis, University of Edinburgh, 2015 Verified Networking using Dependent Types BSc Dissertation, University of St Andrews, 2014