Simon Fowler

Cited by

	All	Since 2018
Citations	288	265
h-index	9	8
i10-index	9	7

20142015201620172018201920202021202220232 2 5 13 15 28 42 37 71 70

Public access

View all

11 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
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
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Paul HarveyRakuten MobileVerified email at rakuten.com
Adam GraniczIntelliFactoryVerified email at intellifactory.com
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
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
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
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	93*	2019
An Erlang Implementation of Multiparty Session Actors S Fowler 9th Interaction and Concurrency Experience, 2016	41	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	31	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	28	2017
Separating Sessions Smoothly S Fowler, W Kokke, O Dardha, S Lindley, JG Morris 32nd International Conference on Concurrency Theory (CONCUR 2021) 203, 36:1 …, 2021	20*	2021
Model-View-Update-Communicate: Session Types meet the Elm Architecture S Fowler 34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 14 …, 2020	15	2020
Typed Concurrent Functional Programming with Channels, Actors, and Sessions S Fowler	12	2019
Reactive Single-Page Applications with Dynamic Dataflow S Fowler, L Denuzière, A Granicz Practical Aspects of Declarative Languages, 2015	12	2015
Dependent types for safe and secure web programming S Fowler, E Brady IFL 2013, 49-60, 2013	11	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	5	2020
Language-Integrated Updatable Views R Horn, S Fowler, J Cheney IFL 2019, 2020	5*	2020
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	4*	2023
Language-integrated query for temporal data S Fowler, V Galpin, J Cheney Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022	2	2022
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–16

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors