Sam Lindley

2.5k total citations
62 papers, 766 citations indexed

About

Sam Lindley is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Sam Lindley has authored 62 papers receiving a total of 766 indexed citations (citations by other indexed papers that have themselves been cited), including 53 papers in Artificial Intelligence, 22 papers in Computer Networks and Communications and 19 papers in Computational Theory and Mathematics. Recurrent topics in Sam Lindley's work include Logic, programming, and type systems (46 papers), Formal Methods in Verification (17 papers) and Parallel Computing and Optimization Techniques (15 papers). Sam Lindley is often cited by papers focused on Logic, programming, and type systems (46 papers), Formal Methods in Verification (17 papers) and Parallel Computing and Optimization Techniques (15 papers). Sam Lindley collaborates with scholars based in United Kingdom, United States and Australia. Sam Lindley's co-authors include James Cheney, Conor McBride, Philip Wadler, Ohad Kammar, J. Garrett Morris, Nicolas Oury, Jeremy Yallop, Craig McLaughlin, Michel Steuwer and Christophe Dubach and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGMOD Record and ACM SIGPLAN Notices.

In The Last Decade

Sam Lindley

55 papers receiving 743 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Sam Lindley United Kingdom	17	620	292	277	252	190	62	766
Martin Odersky Switzerland	8	457 0.7×	152 0.5×	318 1.1×	223 0.9×	176 0.9×	18	673
Conor McBride United Kingdom	19	1.0k 1.7×	546 1.9×	215 0.8×	215 0.9×	239 1.3×	49	1.1k
Oleg Kiselyov Japan	17	913 1.5×	387 1.3×	400 1.4×	238 0.9×	269 1.4×	62	1.0k
Ross Paterson United Kingdom	9	538 0.9×	293 1.0×	161 0.6×	112 0.4×	100 0.5×	16	612
M. Blume United States	17	527 0.8×	147 0.5×	222 0.8×	182 0.7×	150 0.8×	43	698
Yanhong A. Liu United States	16	472 0.8×	231 0.8×	264 1.0×	245 1.0×	131 0.7×	64	680
Geoffrey Washburn United States	10	490 0.8×	193 0.7×	111 0.4×	167 0.7×	164 0.9×	21	562
Sophia Drossopoulou United Kingdom	17	710 1.1×	218 0.7×	201 0.7×	285 1.1×	305 1.6×	84	880
Martin Hofmann Germany	18	921 1.5×	633 2.2×	216 0.8×	224 0.9×	134 0.7×	67	1.0k
Chris Okasaki United States	12	443 0.7×	254 0.9×	196 0.7×	204 0.8×	103 0.5×	28	596

Countries citing papers authored by Sam Lindley

Since Specialization

Citations

This map shows the geographic impact of Sam Lindley's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Sam Lindley with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sam Lindley more than expected).

Fields of papers citing papers by Sam Lindley

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Sam Lindley. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Sam Lindley. The network helps show where Sam Lindley may publish in the future.

Co-authorship network of co-authors of Sam Lindley

This figure shows the co-authorship network connecting the top 25 collaborators of Sam Lindley. A scholar is included among the top collaborators of Sam Lindley based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Sam Lindley. Sam Lindley is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Lindley, Sam, et al.. (2025). Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. ACM Transactions on Programming Languages and Systems. 47(2). 1–33.

Ryu, Sukyoung, et al.. (2024). Bringing the WebAssembly Standard up to Speed with SpecTec. Proceedings of the ACM on Programming Languages. 8(PLDI). 1559–1584. 3 indexed citations

Ghica, Dan R., et al.. (2024). Effect Handlers for C via Coroutines. Proceedings of the ACM on Programming Languages. 8(OOPSLA2). 2462–2489. 1 indexed citations

Eisenberg, Richard A., et al.. (2024). Oxidizing OCaml with Modal Memory Management. Proceedings of the ACM on Programming Languages. 8(ICFP). 485–514. 6 indexed citations

Leijen, Daan, et al.. (2024). The Functional Essence of Imperative Binary Search Trees. Proceedings of the ACM on Programming Languages. 8(PLDI). 518–542. 3 indexed citations

Dardha, Ornela, et al.. (2023). Separating Sessions Smoothly. Logical Methods in Computer Science. Volume 19, Issue 3. 2 indexed citations

Rossberg, Andreas, Arjun Guha, Daan Leijen, et al.. (2023). Continuing WebAssembly with Effect Handlers. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 460–485. 8 indexed citations

Cheney, James, et al.. (2022). Constraint-based type inference for FreezeML. Proceedings of the ACM on Programming Languages. 6(ICFP). 570–595. 2 indexed citations

Lindley, Sam, et al.. (2020). Effect handlers via generalised continuations. Journal of Functional Programming. 30. 14 indexed citations

10.

Lindley, Sam & J. Garrett Morris. (2016). Embedding session types in Haskell. ACM SIGPLAN Notices. 51(12). 133–145. 1 indexed citations

11.

Lindley, Sam, et al.. (2016). Liberating effects with rows and handlers. Edinburgh Research Explorer (University of Edinburgh). 15–27. 42 indexed citations

12.

Cheney, James, Sam Lindley, & Philip Wadler. (2014). Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets. Edinburgh Research Explorer. 12 indexed citations

13.

Lindley, Sam. (2014). Algebraic effects and effect handlers for idioms and arrows. Edinburgh Research Explorer. 47–58. 12 indexed citations

14.

Kammar, Ohad, Sam Lindley, & Nicolas Oury. (2013). Handlers in action. 145–158. 76 indexed citations

15.

Cheney, James, Sam Lindley, & Philip Wadler. (2013). A practical theory of language-integrated query. ACM SIGPLAN Notices. 48(9). 403–416. 5 indexed citations

16.

Lindley, Sam & James Cheney. (2012). Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 16 indexed citations

17.

Cheney, James, Sam Lindley, & Heiko Müller. (2011). Using Links to prototype a Database Wiki. 1 indexed citations

18.

Cheney, James, Sam Lindley, & Heiko Müller. (2011). DBWiki: a database wiki prototyped in Links. 1 indexed citations

19.

Lindley, Sam, Philip Wadler, & Jeremy Yallop. (2011). Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Electronic Notes in Theoretical Computer Science. 229(5). 97–117. 18 indexed citations

20.

Lindley, Sam. (2007). Implementing deterministic declarative concurrency using sieves. Edinburgh Research Explorer. 45–49.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact