Sam Lindley - RankMe

97 papers A* 2A 7B 5C 7Journal 51Unranked 18

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