Drafts

Comments on drafts are always very welcome!

Speak Now: Safe Actor Programming with Multiparty Session Types
Simon Fowler and Raymond Hu
Draft, November 2024

Publications

Behavioural Types for Heterogeneous Systems (Position Paper)
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, and Vasco T. Vasconcelos
PLACES 2024
Separating Sessions Smoothly
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris
Logical Methods in Computer Science
Extended journal version of CONCUR'21 paper
[LMCS]
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay and Phil Trinder
PACMPL 7(ICFP), 2023
[Extended] [Artifact (Evaluated)]
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
Superseded: See journal version
[Extended] [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

Miscellaneous

Event-Driven Multiparty Session Actors
Simon Fowler and Raymond Hu
Extended abstract, presented at HOPE 2023
Introduction to Session Types
Slides for course given at SPLV 2023.