Simon Fowler

Orcid: 0000-0001-5143-5475

Affiliations:
  • University of Glasgow, School of Computing Science, UK
  • University of Edinburgh, School of Informatics, UK (former, PhD 2019)
  • University of St. Andrews, School of Computer Science, UK (former)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Behavioural Types for Heterogeneous Systems (Position Paper).
Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

2023
Special Delivery: Programming with Mailbox Types.
Proc. ACM Program. Lang., August, 2023

Separating Sessions Smoothly.
Log. Methods Comput. Sci., 2023

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

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

Language-Integrated Query for Temporal Data.
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).
Dagstuhl Artifacts Ser., 2021

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

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020
A polymorphic RPC calculus.
Sci. Comput. Program., 2020

Cross-tier Web Programming for Curated Databases: a Case Study.
Int. J. Digit. Curation, 2020

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

Language-Integrated Updatable Views (Extended version).
CoRR, 2020

Model-View-Update-Communicate: Session Types Meet the Elm Architecture.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Typed concurrent functional programming with channels, actors and sessions.
PhD thesis, 2019

Exceptional asynchronous session types: session types without tiers.
Proc. ACM Program. Lang., 2019

Language-integrated updatable views.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2017
Mixing Metaphors: Actors as Channels and Channels as Actors.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
An Erlang Implementation of Multiparty Session Actors.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

2015
Reactive Single-Page Applications with Dynamic Dataflow.
Proceedings of the Practical Aspects of Declarative Languages, 2015

2013
Dependent Types for Safe and Secure Web Programming.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013


  Loading...