| 2024 | ESOP | Scoped Effects as Parameterized Algebraic Theories. | Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang |
| 2021 | CONCUR | Separating Sessions Smoothly. | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2021 | HASKELL | Practical normalization by evaluation for EDSLs. | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
| 2021 | PPDP | A Typed Slicing Compilation of the Polymorphic RPC calculus. | Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders |
| 2020 | PLDI | FreezeML: complete and easy type inference for first-class polymorphism. | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
| 2018 | APLAS | Shallow Effect Handlers. | Daniel Hillerstrm, Sam Lindley |
| 2017 | ECOOP | Mixing Metaphors: Actors as Channels and Channels as Actors. | Simon Fowler, Sam Lindley, Philip Wadler |
| 2017 | POPL | Do be do be do. | Sam Lindley, Conor McBride, Craig McLaughlin |
| 2016 | CONCUR | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler |
| 2016 | HASKELL | Embedding session types in Haskell. | Sam Lindley, J. Garrett Morris |
| 2016 | ICFP | Liberating effects with rows and handlers. | Daniel Hillerstrm, Sam Lindley |
| 2016 | ICFP | Talking bananas: structural recursion for session types. | Sam Lindley, J. Garrett Morris |
| 2016 | PEPM | Everything old is new again: quoted domain-specific languages. | Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler |
| 2015 | ESOP | A Semantics for Propositions as Sessions. | Sam Lindley, J. Garrett Morris |
| 2015 | ICFP | Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. | Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach |
| 2014 | ICFP | Algebraic effects and effect handlers for idioms and arrows. | Sam Lindley |
| 2014 | PEPM | Effective quotation: relating approaches to language-integrated query. | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
| 2014 | SIGMOD | Query shredding: efficient relational evaluation of queries over nested multisets. | James Cheney, Sam Lindley, Philip Wadler |
| 2013 | HASKELL | Hasochism: the pleasure and pain of dependently typed haskell programming. | Sam Lindley, Conor McBride |
| 2013 | ICFP | A practical theory of language-integrated query. | James Cheney, Sam Lindley, Philip Wadler |
| 2013 | ICFP | Handlers in action. | Ohad Kammar, Sam Lindley, Nicolas Oury |
| 2012 | ICFP | Embedding F. | Sam Lindley |
| 2011 | SIGMOD | DBWiki: a structured wiki for curated data and collaborative data management. | Peter Buneman, James Cheney, Sam Lindley, Heiko Mller |
| 2010 | ESOP | The Audacity of Hope: Thoughts on Reclaiming the Database Dream. | Sam Lindley, Philip Wadler |
| 2009 | HASKELL | Unembedding domain-specific languages. | Robert Atkey, Sam Lindley, Jeremy Yallop |
| 2008 | APLAS | The Essence of Form Abstraction. | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
| 2007 | POPL | Implementing deterministic declarative concurrency using sieves. | Sam Lindley |