Shrinking Reductions in SML.NET. - Nick Benton; Andrew Kennedy; Sam Lindley; Claudio V. Russo (IFL, 2004)

Reducibility and TT-Lifting for Computation Types. - Sam Lindley; Ian Stark (TLCA, 2005)

Normalisation by evaluation in the compilation of typed functional programming languages. - Sam Lindley (2005)

Links: Web Programming Without Tiers. - Ezra Cooper; Sam Lindley; Philip Wadler; Jeremy Yallop (FMCO, 2006)

Implementing deterministic declarative concurrency using sieves. - Sam Lindley (DAMP, 2007)

Extensional Rewriting with Sums. - Sam Lindley (TLCA, 2007)

The Essence of Form Abstraction. - Ezra Cooper; Sam Lindley; Philip Wadler; Jeremy Yallop (APLAS, 2008)

Many holes in hindley-milner. - Sam Lindley (ML, 2008)

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. - Sam Lindley; Philip Wadler; Jeremy Yallop (MSFP@ICALP, 2008)

Unembedding domain-specific languages. - Robert Atkey; Sam Lindley; Jeremy Yallop (Haskell, 2009)

The Audacity of Hope: Thoughts on Reclaiming the Database Dream. - Sam Lindley; Philip Wadler (ESOP, 2010)

The arrow calculus. - Sam Lindley; Philip Wadler; Jeremy Yallop (J. Funct. Program., 2010)

Using Links to prototype a Database Wiki. - James Cheney; Sam Lindley; Heiko Müller 001 (DBPL, 2011)

DBWiki: a structured wiki for curated data and collaborative data management. - Peter Buneman; James Cheney; Sam Lindley; Heiko Müller 001 (SIGMOD Conference, 2011)

The database Wiki project: a general-purpose platform for data curation and collaboration. - Peter Buneman; James Cheney; Sam Lindley; Heiko Müller 001 (SIGMOD Rec., 2011)

Embedding F. - Sam Lindley (WGP@ICFP, 2012)

Row-based effect types for database integration. - Sam Lindley; James Cheney (TLDI, 2012)

Hasochism: the pleasure and pain of dependently typed haskell programming. - Sam Lindley; Conor McBride (Haskell, 2013)

A practical theory of language-integrated query. - James Cheney; Sam Lindley; Philip Wadler (ICFP, 2013)

Handlers in action. - Ohad Kammar; Sam Lindley; Nicolas Oury (ICFP, 2013)

Effective Quotation. - James Cheney; Sam Lindley; Gabriel Radanne; Philip Wadler (CoRR, 2013)

Lenses for Web Data. - Raghu Rajkumar; Nate Foster; Sam Lindley; James Cheney (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Algebraic effects and effect handlers for idioms and arrows. - Sam Lindley (WGP@ICFP, 2014)

Effective quotation: relating approaches to language-integrated query. - James Cheney; Sam Lindley; Gabriel Radanne; Philip Wadler (PEPM, 2014)

Query shredding: efficient relational evaluation of queries over nested multisets. - James Cheney; Sam Lindley; Philip Wadler (SIGMOD Conference, 2014)

Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). - James Cheney; Sam Lindley; Philip Wadler (CoRR, 2014)

Sessions as Propositions. - Sam Lindley; J. Garrett Morris (PLACES, 2014)

A Semantics for Propositions as Sessions. - Sam Lindley; J. Garrett Morris (ESOP, 2015)

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 (ICFP, 2015)

Conflation Confers Concurrency. - Robert Atkey; Sam Lindley; J. Garrett Morris (A List of Successes That Can Change the World, 2016)

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. - Marco Carbone; Sam Lindley; Fabrizio Montesi; Carsten Schürmann 001; Philip Wadler (CONCUR, 2016)

Embedding session types in Haskell. - Sam Lindley; J. Garrett Morris (Haskell, 2016)

Liberating effects with rows and handlers. - Daniel Hillerström; Sam Lindley (TyDe@ICFP, 2016)

Talking bananas: structural recursion for session types. - Sam Lindley; J. Garrett Morris (ICFP, 2016)

Everything old is new again: quoted domain-specific languages. - Shayan Najd; Sam Lindley; Josef Svenningsson; Philip Wadler (PEPM, 2016)

Embedding by Normalisation. - Shayan Najd; Sam Lindley; Josef Svenningsson; Philip Wadler (CoRR, 2016)

Mixing Metaphors: Actors as Channels and Channels as Actors. - Simon Fowler 001; Sam Lindley; Philip Wadler (ECOOP, 2017)

Do be do be do. - Sam Lindley; Conor McBride; Craig McLaughlin (POPL, 2017)

Continuation Passing Style for Effect Handlers. - Daniel Hillerström; Sam Lindley; Robert Atkey; K. C. Sivaramakrishnan (FSCD, 2017)

Strategy Preserving Compilation for Parallel Functional Code. - Robert Atkey; Michel Steuwer; Sam Lindley; Christophe Dubach (CoRR, 2017)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. - Yannick Forster 002; Ohad Kammar; Sam Lindley; Matija Pretnar (Proc. ACM Program. Lang., 2017)

Shallow Effect Handlers. - Daniel Hillerström; Sam Lindley (APLAS, 2018)

Exceptional asynchronous session types: session types without tiers. - Simon Fowler 001; Sam Lindley; J. Garrett Morris; Sára Decova (Proc. ACM Program. Lang., 2019)

Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). - Oleg Kiselyov; Sam Lindley; Gordon D. Plotkin; Nicolas Wu (NII Shonan Meet. Rep., 2019)

FreezeML: complete and easy type inference for first-class polymorphism. - Frank Emrich; Sam Lindley; Jan Stolarek; James Cheney; Jonathan Coates (PLDI, 2020)

Doo bee doo bee doo. - Lukas Convent; Sam Lindley; Conor McBride; Craig McLaughlin (J. Funct. Program., 2020)

Effect handlers via generalised continuations. - Daniel Hillerström; Sam Lindley; Robert Atkey (J. Funct. Program., 2020)

Effects for efficiency: asymptotic speedup with first-class control. - Daniel Hillerström; Sam Lindley; John Longley (Proc. ACM Program. Lang., 2020)

A polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Simon Fowler 001; Sam Lindley (Sci. Comput. Program., 2020)

Practical normalization by evaluation for EDSLs. - Nachiappan Valliappan; Alejandro Russo; Sam Lindley (Haskell, 2021)

A Typed Slicing Compilation of the Polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Sam Lindley; Bob Reynders (PPDP, 2021)

Scalable Handling of Effects (Dagstuhl Seminar 21292). - Danel Ahman; Amal Ahmed 001; Sam Lindley; Andreas Rossberg (Dagstuhl Reports, 2021)

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). - Mariangiola Dezani; Roland Kuhn 002; Sam Lindley; Alceste Scalas (Dagstuhl Reports, 2021)

Constraint-based type inference for FreezeML. - Frank Emrich; Jan Stolarek; James Cheney; Sam Lindley (Proc. ACM Program. Lang., 2022)

High-level effect handlers in C++. - Dan R. Ghica; Sam Lindley; Marcos Maroñas Bravo; Maciej Piróg (Proc. ACM Program. Lang., 2022)

Wasm SpecTec: Engineering a Formal Language Standard. - Joachim Breitner; Philippa Gardner; Jaehyun Lee; Sam Lindley; Matija Pretnar; Xiaojia Rao; Andreas Rossberg; Sukyoung Ryu; Wonho Shin; Conrad Watt; Dongjun Youn (CoRR, 2023)

Separating Sessions Smoothly. - Simon Fowler 001; Wen Kokke; Ornela Dardha; Sam Lindley; J. Garrett Morris (Log. Methods Comput. Sci., 2023)

Continuing WebAssembly with Effect Handlers. - Luna Phipps-Costin; Andreas Rossberg; Arjun Guha; Daan Leijen; Daniel Hillerström; K. C. Sivaramakrishnan; Matija Pretnar; Sam Lindley (Proc. ACM Program. Lang., 2023)

Structural Subtyping as Parametric Polymorphism. - Wenhao Tang; Daniel Hillerström; James McKinna; Michel Steuwer; Ornela Dardha; Rongxiao Fu; Sam Lindley (Proc. ACM Program. Lang., 2023)

Scoped Effects as Parameterized Algebraic Theories. - Sam Lindley; Cristina Matache; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ESOP (1), 2024)

Behavioural Types for Heterogeneous Systems (Position Paper). - Simon Fowler 001; Philipp Haller; Roland Kuhn 002; Sam Lindley; Alceste Scalas; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Asymptotic speedup via effect handlers. - Daniel Hillerström; Sam Lindley; John Longley (J. Funct. Program., 2024)

Effect Handlers for C via Coroutines. - Mario Alvarez-Picallo; Teodoro Freund; Dan R. Ghica; Sam Lindley (Proc. ACM Program. Lang., 2024)

The Functional Essence of Imperative Binary Search Trees. - Anton Lorenzen; Daan Leijen; Wouter Swierstra; Sam Lindley (Proc. ACM Program. Lang., 2024)

Oxidizing OCaml with Modal Memory Management. - Anton Lorenzen; Leo White; Stephen Dolan; Richard A. Eisenberg; Sam Lindley (Proc. ACM Program. Lang., 2024)

Bringing the WebAssembly Standard up to Speed with SpecTec. - Dongjun Youn; Wonho Shin; Jaehyun Lee; Sukyoung Ryu; Joachim Breitner; Philippa Gardner; Sam Lindley; Matija Pretnar; Xiaojia Rao; Conrad Watt; Andreas Rossberg (Proc. ACM Program. Lang., 2024)

Soundly Handling Linearity. - Wenhao Tang; Daniel Hillerström; Sam Lindley; J. Garrett Morris (Proc. ACM Program. Lang., 2024)

Modal Effect Types. - Wenhao Tang; Leo White; Stephen Dolan; Daniel Hillerström; Sam Lindley; Anton Lorenzen (Proc. ACM Program. Lang., 2025)

Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. - Cristina Matache; Sam Lindley; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ACM Trans. Program. Lang. Syst., 2025)

Rows and Capabilities as Modal Effects. - Wenhao Tang; Sam Lindley (CoRR, 2025)