Simon Fowler

Cited by

	All	Since 2019
Citations	332	292
h-index	10	9
i10-index	10	8

201420152016201720182019202020212022202320242 2 5 13 14 28 41 38 69 72 41

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
J. Garrett MorrisThe University of IowaVerified email at acm.org
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Paul HarveyRakuten MobileVerified email at rakuten.com
Phil TrinderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Duncan Paul AttardUniversity of Glasgow and Reykjavik UniversityVerified email at um.edu.mt
Adam GraniczIntelliFactoryVerified email at intellifactory.com
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Simon D. HardingUniversity of EdinburghVerified email at igmm.ed.ac.uk
Joanna SharmanUniversity of EdinburghVerified email at ed.ac.uk
Kwanghoon ChoiChonnam National University, Gwang-Ju, Republic of KoreaVerified email at jnu.ac.kr
Vashti GalpinLFCS, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
Alceste ScalasAssociate Professor in Computer Science, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Philipp HallerKTH Royal Institute of TechnologyVerified email at kth.se
Rudi HornUniversity of Edinburgh

Simon Fowler

University of Glasgow

Verified email at glasgow.ac.uk - Homepage

Functional Programming Programming Languages Behavioural Types Multi-tier Programming Concurrent Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Exceptional asynchronous session types: session types without tiers S Fowler, S Lindley, JG Morris, S Decova Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019	102*	2019
An Erlang Implementation of Multiparty Session Actors S Fowler 9th Interaction and Concurrency Experience, 2016	50	2016
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language P Harvey, S Fowler, O Dardha, SJ Gay 35th European Conference on Object-Oriented Programming (ECOOP 2021) 194, 10 …, 2021	39	2021
Mixing Metaphors: Actors as Channels and Channels as Actors S Fowler, S Lindley, P Wadler 31st European Conference on Object-Oriented Programming (ECOOP 2017) 74, 11 …, 2017	31	2017
Separating Sessions Smoothly S Fowler, W Kokke, O Dardha, S Lindley, JG Morris Logical Methods in Computer Science 19, 2023	24*	2023
Model-View-Update-Communicate: Session Types meet the Elm Architecture S Fowler 34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 14 …, 2020	16	2020
Typed Concurrent Functional Programming with Channels, Actors, and Sessions S Fowler	16	2019
Reactive Single-Page Applications with Dynamic Dataflow S Fowler, L Denuzière, A Granicz Practical Aspects of Declarative Languages, 2015	12	2015
Special delivery: programming with mailbox types S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder Proceedings of the ACM on Programming Languages 7 (ICFP), 78-107, 2023	10*	2023
Dependent types for safe and secure web programming S Fowler, E Brady IFL 2013, 49-60, 2013	10	2013
Cross-tier web programming for curated databases: a case study S Fowler, SD Harding, J Sharman, J Cheney arXiv preprint arXiv:2003.03845, 2020	9	2020
A polymorphic RPC calculus K Choi, J Cheney, S Fowler, S Lindley Science of Computer Programming 197, 102499, 2020	6	2020
Language-Integrated Updatable Views R Horn, S Fowler, J Cheney IFL 2019, 2020	4*	2020
Language-integrated query for temporal data S Fowler, V Galpin, J Cheney Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022	3	2022
Behavioural Types for Heterogeneous Systems (Position Paper) S Fowler, P Haller, R Kuhn, S Lindley, A Scalas, VT Vasconcelos arXiv preprint arXiv:2404.05479, 2024		2024
Speak Now: Safe Actor Programming with Multiparty Session Types S Fowler, R Hu Draft, 2024		2024
Event-Driven Multiparty Session Actors S Fowler, R Hu		2023
Monitoring Erlang/OTP Applications using Multiparty Session Types S Fowler MSc(R) Thesis, University of Edinburgh, 2015		2015
Verified Networking using Dependent Types S Fowler BSc Dissertation, University of St Andrews, 2014		2014

The system can't perform the operation now. Try again later.

Articles 1–19

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors