Sam Lindley

Cited by

	All	Since 2019
Citations	2982	1620
h-index	29	22
i10-index	42	32

320

160

240

2005200620072008200920102011201220132014201520162017201820192020202120222023202413 12 39 43 60 72 58 84 85 129 113 177 247 210 293 304 236 289 270 226

Public access

View all

42 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
J. Garrett MorrisThe University of IowaVerified email at acm.org
Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerified email at ed.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
Simon FowlerUniversity of GlasgowVerified email at glasgow.ac.uk
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Michel SteuwerProfessor | TU Berlin | Chair of Compilers and Programming LanguagesVerified email at tu-berlin.de
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Yannick ForsterCambium Team, Inria ParisVerified email at inria.fr
Nicolas OuryVerified email at ed.ac.uk
Craig McLaughlinSenior Research Associate, University of New South WalesVerified email at unsw.edu.au
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Christian FenschARM NorwayVerified email at arm.com

Sam Lindley

The University of Edinburgh

Verified email at ed.ac.uk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Links: Web programming without tiers E Cooper, S Lindley, P Wadler, J Yallop International Symposium on Formal Methods for Components and Objects, 266-296, 2006	490	2006
Handlers in action O Kammar, S Lindley, N Oury ACM SIGPLAN Notices 48 (9), 145-158, 2013	216	2013
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code M Steuwer, C Fensch, S Lindley, C Dubach ACM SIGPLAN Notices 50 (9), 205-217, 2015	189	2015
A practical theory of language-integrated query J Cheney, S Lindley, P Wadler ACM SIGPLAN Notices 48 (9), 403-416, 2013	125	2013
A semantics for propositions as sessions S Lindley, JG Morris Programming Languages and Systems: 24th European Symposium on Programming …, 2015	108	2015
Talking bananas: structural recursion for session types S Lindley, JG Morris Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	106	2016
Liberating effects with rows and handlers D Hillerström, S Lindley Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016	104	2016
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control Y Forster, O Kammar, S Lindley, M Pretnar Journal of Functional Programming 29, e15, 2019	94	2019
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	89	2019
Coherence generalises duality: A logical explanation of multiparty session types M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler Proceedings of the 27th International Conference on Concurrency Theory, 1-15, 2016	83	2016
Row-based effect types for database integration S Lindley, J Cheney Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012	78	2012
Idioms are oblivious, arrows are meticulous, monads are promiscuous S Lindley, P Wadler, J Yallop Electronic notes in theoretical computer science 229 (5), 97-117, 2011	78	2011
Reducibility and⊤⊤-lifting for computation types S Lindley, I Stark Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005	72	2005
Embedding session types in Haskell S Lindley, JG Morris ACM SIGPLAN Notices 51 (12), 133-145, 2016	70	2016
Hasochism: the pleasure and pain of dependently typed Haskell programming S Lindley, C McBride ACM SIGPLAN Notices 48 (12), 81-92, 2013	68	2013
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	68	2009
Shallow effect handlers D Hillerström, S Lindley Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018	63	2018
Lightweight functional session types S Lindley, JG Morris Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017	61	2017
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	60	2017
Query shredding: efficient relational evaluation of queries over nested multisets J Cheney, S Lindley, P Wadler Proceedings of the 2014 ACM SIGMOD international conference on Management of …, 2014	56	2014

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

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors