Sam Lindley

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 52

Top Venues

CoRR

Proc. ACM Program. Lang.

J. Funct. Program.

CONCUR

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
Modal Effect Types. CoRR (2024)
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. CoRR (2024)
Daniel Hillerström, Sam Lindley, John Longley
Asymptotic speedup via effect handlers. J. Funct. Program. 34 (2024)
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
Soundly Handling Linearity. Proc. ACM Program. Lang. 8 (POPL) (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) (2024)
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
The Functional Essence of Imperative Binary Search Trees. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
Soundly Handling Linearity. CoRR (2023)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19 (3) (2023)
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard. CoRR (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. CoRR (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. CoRR (2023)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. CoRR (2022)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg
High-level effect handlers in C++. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CoRR (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR (2021)
Nachiappan Valliappan, Alejandro Russo, Sam Lindley
Practical normalization by evaluation for EDSLs. Haskell (2021)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CONCUR (2021)
Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg
Scalable Handling of Effects (Dagstuhl Seminar 21292). Dagstuhl Reports 11 (6) (2021)
Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). Dagstuhl Reports 11 (8) (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP (2021)
Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin
Doo bee doo bee doo. J. Funct. Program. 30 (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR (2020)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A polymorphic RPC calculus. Sci. Comput. Program. 197 (2020)
Daniel Hillerström, Sam Lindley, Robert Atkey
Effect handlers via generalised continuations. J. Funct. Program. 30 (2020)
Daniel Hillerström, Sam Lindley, John Longley
Effects for efficiency: asymptotic speedup with first-class control. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Daniel Hillerström, Sam Lindley, John Longley
Effects for Efficiency: Asymptotic Speedup with First-Class Control. CoRR (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: complete and easy type inference for first-class polymorphism. PLDI (2020)
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3 (POPL) (2019)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A Polymorphic RPC Calculus. CoRR (2019)
Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). NII Shonan Meet. Rep. 2019 (2019)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. J. Funct. Program. 29 (2019)
Daniel Hillerström, Sam Lindley
Shallow Effect Handlers. APLAS (2018)
Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan
Continuation Passing Style for Effect Handlers. FSCD (2017)
Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach
Strategy Preserving Compilation for Parallel Functional Code. CoRR (2017)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Simon Fowler, Sam Lindley, Philip Wadler
Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP (2017)
Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do. POPL (2017)
Sam Lindley, J. Garrett Morris
Talking bananas: structural recursion for session types. ICFP (2016)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR (2016)
Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do. CoRR (2016)
Daniel Hillerström, Sam Lindley
Liberating effects with rows and handlers. TyDe@ICFP (2016)
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
Embedding by Normalisation. CoRR (2016)
Sam Lindley, J. Garrett Morris
Embedding session types in Haskell. Haskell (2016)
Simon Fowler, Sam Lindley, Philip Wadler
Mixing Metaphors: Actors as Channels and Channels as Actors. CoRR (2016)
Robert Atkey, Sam Lindley, J. Garrett Morris
Conflation Confers Concurrency. A List of Successes That Can Change the World (2016)
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR (2016)
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
Everything old is new again: quoted domain-specific languages. PEPM (2016)
Sam Lindley, J. Garrett Morris
A Semantics for Propositions as Sessions. ESOP (2015)
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
Everything old is new again: Quoted Domain Specific Languages. CoRR (2015)
Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. ICFP (2015)
James Cheney, Sam Lindley, Philip Wadler
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR (2014)
Sam Lindley
Algebraic effects and effect handlers for idioms and arrows. WGP@ICFP (2014)
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Effective quotation: relating approaches to language-integrated query. PEPM (2014)
Sam Lindley, J. Garrett Morris
Sessions as Propositions. PLACES (2014)
James Cheney, Sam Lindley, Philip Wadler
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference (2014)
James Cheney, Sam Lindley, Philip Wadler
A practical theory of language-integrated query. ICFP (2013)
Ohad Kammar, Sam Lindley, Nicolas Oury
Handlers in action. ICFP (2013)
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Effective Quotation. CoRR (2013)
Sam Lindley, Conor McBride
Hasochism: the pleasure and pain of dependently typed haskell programming. Haskell (2013)
Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Sam Lindley, James Cheney
Row-based effect types for database integration. TLDI (2012)
Sam Lindley
Embedding F. WGP@ICFP (2012)
Peter Buneman, James Cheney, Sam Lindley, Heiko Müller
The database Wiki project: a general-purpose platform for data curation and collaboration. SIGMOD Rec. 40 (3) (2011)
Peter Buneman, James Cheney, Sam Lindley, Heiko Müller
DBWiki: a structured wiki for curated data and collaborative data management. SIGMOD Conference (2011)
James Cheney, Sam Lindley, Heiko Müller
Using Links to prototype a Database Wiki. DBPL (2011)
Sam Lindley, Philip Wadler, Jeremy Yallop
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Sam Lindley, Philip Wadler, Jeremy Yallop
The arrow calculus. J. Funct. Program. 20 (1) (2010)
Sam Lindley, Philip Wadler
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP (2010)
Robert Atkey, Sam Lindley, Jeremy Yallop
Unembedding domain-specific languages. Haskell (2009)
Sam Lindley
Many holes in hindley-milner. ML (2008)
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
The Essence of Form Abstraction. APLAS (2008)
Sam Lindley
Implementing deterministic declarative concurrency using sieves. DAMP (2007)
Sam Lindley
Extensional Rewriting with Sums. TLCA (2007)
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
Links: Web Programming Without Tiers. FMCO (2006)
Sam Lindley, Ian Stark
Reducibility and TT-Lifting for Computation Types. TLCA (2005)
Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
Shrinking Reductions in SML.NET. IFL (2004)

Sam Lindley.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sam Lindley