Sam Lindley
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [j5]Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. PACMPL 1(ICFP): 13:1-13:29 (2017) - [c31]Simon Fowler, Sam Lindley, Philip Wadler:
Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP 2017: 11:1-11:28 - [c30]
- [c29]Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan:
Continuation Passing Style for Effect Handlers. FSCD 2017: 18:1-18:19 - [i8]Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach:
Strategy Preserving Compilation for Parallel Functional Code. CoRR abs/1710.08332 (2017) - 2016
- [c28]Robert Atkey, Sam Lindley, J. Garrett Morris:
Conflation Confers Concurrency. A List of Successes That Can Change the World 2016: 32-55 - [c27]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 - [c26]
- [c25]
- [c24]Sam Lindley, J. Garrett Morris:
Talking bananas: structural recursion for session types. ICFP 2016: 434-447 - [c23]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]
- 2015
- [c22]
- [c21]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
- [c20]
- [c19]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective quotation: relating approaches to language-integrated query. PEPM 2014: 15-26 - [c18]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference 2014: 1027-1038 - [c17]
- [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
- [j4]
- [c16]Sam Lindley, Conor McBride:
Hasochism: the pleasure and pain of dependently typed haskell programming. Haskell 2013: 81-92 - [c15]
- [c14]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
- [c13]
- [c12]
- 2011
- [j3]Sam Lindley, Philip Wadler, Jeremy Yallop:
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Electr. Notes Theor. Comput. Sci. 229(5): 97-117 (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 Record 40(3): 15-20 (2011) - [c11]
- [c10]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) - [c9]Sam Lindley, Philip Wadler:
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. ESOP 2010: 1
2000 – 2009
- 2009
- [c8]Robert Atkey, Sam Lindley, Jeremy Yallop:
Unembedding domain-specific languages. Haskell 2009: 37-48 - 2008
- [c7]Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
The Essence of Form Abstraction. APLAS 2008: 205-220 - [c6]
- 2007
- [c5]
- [c4]
- 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]
- 2004
- [c1]Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo:
Shrinking Reductions in SML.NET. IFL 2004: 142-159
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:08 CET by the dblp team