default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSam Lindley
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j21]Daniel Hillerström
, Sam Lindley, John Longley:
Asymptotic speedup via effect handlers. J. Funct. Program. 34 (2024)- [j20]Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley:
Oxidizing OCaml with Modal Memory Management. Proc. ACM Program. Lang. 8(ICFP): 485-514 (2024) - [j19]Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam Lindley:
Effect Handlers for C via Coroutines. Proc. ACM Program. Lang. 8(OOPSLA2): 2462-2489 (2024) - [j18]Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley:
The Functional Essence of Imperative Binary Search Trees. Proc. ACM Program. Lang. 8(PLDI): 518-542 (2024) - [j17]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): 1559-1584 (2024) - [j16]Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris:
Soundly Handling Linearity. Proc. ACM Program. Lang. 8(POPL): 1600-1628 (2024) - [c39]Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang:
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) 2024: 3-21 - [c38]Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos:
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS 2024: 37-48 - [i23]Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang:
Scoped Effects as Parameterized Algebraic Theories. CoRR abs/2402.03103 (2024) - [i22]Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen:
Modal Effect Types. CoRR abs/2407.11816 (2024) - 2023
- [j15]Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris:
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19(3) (2023) - [j14]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): 460-485 (2023) - [j13]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): 1093-1121 (2023) - [i21]Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley:
Structural Subtyping as Parametric Polymorphism. CoRR abs/2304.08267 (2023) - [i20]Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris:
Soundly Handling Linearity. CoRR abs/2307.09383 (2023) - [i19]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 abs/2308.08347 (2023) - [i18]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 abs/2311.07223 (2023) - 2022
- [j12]Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley:
Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. 6(ICFP): 570-595 (2022) - [j11]Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg:
High-level effect handlers in C++. Proc. ACM Program. Lang. 6(OOPSLA2): 1639-1667 (2022) - [i17]Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley:
Constraint-based type inference for FreezeML. CoRR abs/2207.09914 (2022) - 2021
- [c37]Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris:
Separating Sessions Smoothly. CONCUR 2021: 36:1-36:18 - [c36]Nachiappan Valliappan, Alejandro Russo, Sam Lindley:
Practical normalization by evaluation for EDSLs. Haskell 2021: 56-70 - [c35]Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP 2021: 11:1-11:15 - [e6]Sam Lindley, Torben Æ. Mogensen:
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. ACM 2021, ISBN 978-1-4503-8305-9 [contents] - [i16]Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris:
Separating Sessions Smoothly. CoRR abs/2105.08996 (2021) - [i15]Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR abs/2107.10793 (2021) - [i14]Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg:
Scalable Handling of Effects (Dagstuhl Seminar 21292). Dagstuhl Reports 11(6): 54-81 (2021) - [i13]Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas:
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). Dagstuhl Reports 11(8): 52-75 (2021) - 2020
- [j10]Daniel Hillerström, Sam Lindley, Robert Atkey:
Effect handlers via generalised continuations. J. Funct. Program. 30: e5 (2020) - [j9]Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin:
Doo bee doo bee doo. J. Funct. Program. 30: e9 (2020) - [j8]Daniel Hillerström, Sam Lindley, John Longley:
Effects for efficiency: asymptotic speedup with first-class control. Proc. ACM Program. Lang. 4(ICFP): 100:1-100:29 (2020) - [j7]Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A polymorphic RPC calculus. Sci. Comput. Program. 197: 102499 (2020) - [c34]Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates:
FreezeML: complete and easy type inference for first-class polymorphism. PLDI 2020: 423-437 - [e5]Max S. New, Sam Lindley:
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020. EPTCS 317, 2020 [contents] - [i12]Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates:
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR abs/2004.00396 (2020) - [i11]Daniel Hillerström, Sam Lindley, John Longley:
Effects for Efficiency: Asymptotic Speedup with First-Class Control. CoRR abs/2007.00605 (2020)
2010 – 2019
- 2019
- [j6]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: e15 (2019) - [j5]Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova:
Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3(POPL): 28:1-28:29 (2019) - [e4]Sam Lindley, Gabriel Scherer:
Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017. EPTCS 294, 2019 [contents] - [i10]Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A Polymorphic RPC Calculus. CoRR abs/1910.10988 (2019) - [i9]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) - 2018
- [c33]Daniel Hillerström, Sam Lindley:
Shallow Effect Handlers. APLAS 2018: 415-435 - [e3]Robert Atkey, Sam Lindley:
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. EPTCS 275, 2018 [contents] - 2017
- [j4]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): 13:1-13:29 (2017) - [c32]Simon Fowler, Sam Lindley, Philip Wadler:
Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP 2017: 11:1-11:28 - [c31]Sam Lindley, Conor McBride, Craig McLaughlin:
Do be do be do. POPL 2017: 500-514 - [c30]Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan:
Continuation Passing Style for Effect Handlers. FSCD 2017: 18:1-18:19 - [e2]Sam Lindley, Brent A. Yorgey:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017. ACM 2017, ISBN 978-1-4503-5183-6 [contents] - [i8]Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach:
Strategy Preserving Compilation for Parallel Functional Code. CoRR abs/1710.08332 (2017) - 2016
- [c29]Robert Atkey, Sam Lindley, J. Garrett Morris:
Conflation Confers Concurrency. A List of Successes That Can Change the World 2016: 32-55 - [c28]Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler:
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR 2016: 33:1-33:15 - [c27]Sam Lindley, J. Garrett Morris:
Embedding session types in Haskell. Haskell 2016: 133-145 - [c26]Daniel Hillerström, Sam Lindley:
Liberating effects with rows and handlers. TyDe@ICFP 2016: 15-27 - [c25]Sam Lindley, J. Garrett Morris:
Talking bananas: structural recursion for session types. ICFP 2016: 434-447 - [c24]Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Everything old is new again: quoted domain-specific languages. PEPM 2016: 25-36 - [e1]Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella:
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9600, Springer 2016, ISBN 978-3-319-30935-4 [contents] - [i7]Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Embedding by Normalisation. CoRR abs/1603.05197 (2016) - [i6]Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR abs/1610.09161 (2016) - [i5]Simon Fowler, Sam Lindley, Philip Wadler:
Mixing Metaphors: Actors as Channels and Channels as Actors. CoRR abs/1611.06276 (2016) - [i4]Sam Lindley, Conor McBride, Craig McLaughlin:
Do be do be do. CoRR abs/1611.09259 (2016) - 2015
- [c23]Sam Lindley, J. Garrett Morris:
A Semantics for Propositions as Sessions. ESOP 2015: 560-584 - [c22]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: 205-217 - [i3]Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Everything old is new again: Quoted Domain Specific Languages. CoRR abs/1507.07264 (2015) - 2014
- [c21]Sam Lindley:
Algebraic effects and effect handlers for idioms and arrows. WGP@ICFP 2014: 47-58 - [c20]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective quotation: relating approaches to language-integrated query. PEPM 2014: 15-26 - [c19]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference 2014: 1027-1038 - [c18]Sam Lindley, J. Garrett Morris:
Sessions as Propositions. PLACES 2014: 9-16 - [i2]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR abs/1404.7078 (2014) - 2013
- [j3]Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney:
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [c17]Sam Lindley, Conor McBride:
Hasochism: the pleasure and pain of dependently typed haskell programming. Haskell 2013: 81-92 - [c16]Ohad Kammar, Sam Lindley, Nicolas Oury:
Handlers in action. ICFP 2013: 145-158 - [c15]James Cheney, Sam Lindley, Philip Wadler:
A practical theory of language-integrated query. ICFP 2013: 403-416 - [i1]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective Quotation. CoRR abs/1310.4780 (2013) - 2012
- [c14]Sam Lindley:
Embedding F. WGP@ICFP 2012: 45-56 - [c13]Sam Lindley, James Cheney:
Row-based effect types for database integration. TLDI 2012: 91-102 - 2011
- [j2]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): 15-20 (2011) - [c12]James Cheney, Sam Lindley, Heiko Müller:
Using Links to prototype a Database Wiki. DBPL 2011 - [c11]Peter Buneman, James Cheney, Sam Lindley, Heiko Müller:
DBWiki: a structured wiki for curated data and collaborative data management. SIGMOD Conference 2011: 1335-1338 - 2010
- [j1]Sam Lindley, Philip Wadler, Jeremy Yallop:
The arrow calculus. J. Funct. Program. 20(1): 51-69 (2010) - [c10]Sam Lindley, Philip Wadler:
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP 2010: 1
2000 – 2009
- 2009
- [c9]Robert Atkey, Sam Lindley, Jeremy Yallop:
Unembedding domain-specific languages. Haskell 2009: 37-48 - 2008
- [c8]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
The Essence of Form Abstraction. APLAS 2008: 205-220 - [c7]Sam Lindley:
Many holes in hindley-milner. ML 2008: 59-68 - [c6]Sam Lindley, Philip Wadler, Jeremy Yallop:
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. MSFP@ICALP 2008: 97-117 - 2007
- [c5]Sam Lindley:
Implementing deterministic declarative concurrency using sieves. DAMP 2007: 45-49 - [c4]Sam Lindley:
Extensional Rewriting with Sums. TLCA 2007: 255-271 - 2006
- [c3]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
Links: Web Programming Without Tiers. FMCO 2006: 266-296 - 2005
- [b1]Sam Lindley:
Normalisation by evaluation in the compilation of typed functional programming languages. University of Edinburgh, UK, 2005 - [c2]Sam Lindley, Ian Stark:
Reducibility and TT-Lifting for Computation Types. TLCA 2005: 262-277 - 2004
- [c1]Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo:
Shrinking Reductions in SML.NET. IFL 2004: 142-159
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
