Simon Fowler

According to our database, Simon Fowler authored at least 21 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Behavioural Types for Heterogeneous Systems (Position Paper).

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

2023

Special Delivery: Programming with Mailbox Types.

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

Proc. ACM Program. Lang., August, 2023

Separating Sessions Smoothly.

Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

Log. Methods Comput. Sci., 2023

Special Delivery: Programming with Mailbox Types (Extended Version).

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

CoRR, 2023

2022

Language-Integrated Query for Temporal Data (Extended version).

Simon Fowler, Vashti Galpin, James Cheney

CoRR, 2022

Language-Integrated Query for Temporal Data.

Simon Fowler, Vashti Galpin, James Cheney

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact).

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Dagstuhl Artifacts Ser., 2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version).

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

CoRR, 2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

A polymorphic RPC calculus.

Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley

Sci. Comput. Program., 2020

Cross-tier Web Programming for Curated Databases: a Case Study.

Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney

Int. J. Digit. Curation, 2020

Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact).

Simon Fowler

Dagstuhl Artifacts Ser., 2020

Language-Integrated Updatable Views (Extended version).

Rudi Horn, Simon Fowler, James Cheney

CoRR, 2020

Model-View-Update-Communicate: Session Types Meet the Elm Architecture.

Simon Fowler

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Typed concurrent functional programming with channels, actors and sessions.

Simon Fowler

PhD thesis, 2019

Exceptional asynchronous session types: session types without tiers.

Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova

Proc. ACM Program. Lang., 2019

Language-integrated updatable views.

Rudi Horn, Simon Fowler, James Cheney

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2017

Mixing Metaphors: Actors as Channels and Channels as Actors.

Simon Fowler, Sam Lindley, Philip Wadler

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

An Erlang Implementation of Multiparty Session Actors.

Simon Fowler

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

2015

Reactive Single-Page Applications with Dynamic Dataflow.

Simon Fowler, Loïc Denuzière, Adam Granicz

Proceedings of the Practical Aspects of Declarative Languages, 2015

2013

Dependent Types for Safe and Secure Web Programming.

Simon Fowler, Edwin C. Brady

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013