Sam Lindley

Cited by

	All	Since 2018
Citations	2793	1654
h-index	28	22
i10-index	39	30

320

160

240

200520062007200820092010201120122013201420152016201720182019202020212022202311 12 38 42 61 71 61 86 86 130 107 178 240 209 303 309 243 318 268

Public access

View all

35 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Philip WadlerUniversity of Edinburgh and IOHKVerified 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 | Chair of Compilers and Programming Languages | TU BerlinVerified 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 ForsterGallinette Team, Inria NantesVerified 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
Christian FenschARM NorwayVerified email at arm.com
Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk

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	489	2006
Handlers in action O Kammar, S Lindley, N Oury ACM SIGPLAN Notices 48 (9), 145-158, 2013	195	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	177	2015
A practical theory of language-integrated query J Cheney, S Lindley, P Wadler ACM SIGPLAN Notices 48 (9), 403-416, 2013	120	2013
A semantics for propositions as sessions S Lindley, JG Morris Programming Languages and Systems: 24th European Symposium on Programming …, 2015	101	2015
Liberating effects with rows and handlers D Hillerström, S Lindley Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016	96	2016
Talking bananas: structural recursion for session types S Lindley, JG Morris Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	95	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	86	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	83	2019
Coherence generalises duality: A logical explanation of multiparty session types M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler Leibniz International Proceedings in Informatics (LIPIcs) 59, 1-15, 2016	79	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	77	2011
Reducibility and⊤⊤-lifting for computation types S Lindley, I Stark Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005	70	2005
Embedding session types in Haskell S Lindley, JG Morris ACM SIGPLAN Notices 51 (12), 133-145, 2016	66	2016
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	66	2009
Hasochism: the pleasure and pain of dependently typed Haskell programming S Lindley, C McBride ACM SIGPLAN Notices 48 (12), 81-92, 2013	65	2013
Lightweight functional session types S Lindley, JG Morris Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017	57	2017
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	55	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	53	2014
Shallow effect handlers D Hillerström, S Lindley Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018	51	2018

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