 | 2012 |
|---|
| 14 |       | Sam Lindley,
James Cheney:
Row-based effect types for database integration.
TLDI 2012: 91-102 |
| 2011 |
|---|
| 13 | | 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 |
| 12 | | 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) |
| 11 | | 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) |
| 2010 |
|---|
| 10 | | Sam Lindley,
Philip Wadler:
The Audacity of Hope: Thoughts on Reclaiming the Database Dream.
ESOP 2010: 1 |
| 9 | | Sam Lindley,
Philip Wadler,
Jeremy Yallop:
The arrow calculus.
J. Funct. Program. 20(1): 51-69 (2010) |
| 2009 |
|---|
| 8 | | Robert Atkey,
Sam Lindley,
Jeremy Yallop:
Unembedding domain-specific languages.
Haskell 2009: 37-48 |
| 2008 |
|---|
| 7 | | Ezra Cooper,
Sam Lindley,
Philip Wadler,
Jeremy Yallop:
The Essence of Form Abstraction.
APLAS 2008: 205-220 |
| 6 | | Sam Lindley:
Many holes in hindley-milner.
ML 2008: 59-68 |
| 2007 |
|---|
| 5 | | Sam Lindley:
Implementing deterministic declarative concurrency using sieves.
DAMP 2007: 45-49 |
| 4 | | Sam Lindley:
Extensional Rewriting with Sums.
TLCA 2007: 255-271 |
| 2006 |
|---|
| 3 | | Ezra Cooper,
Sam Lindley,
Philip Wadler,
Jeremy Yallop:
Links: Web Programming Without Tiers.
FMCO 2006: 266-296 |
| 2005 |
|---|
| 2 | | Sam Lindley,
Ian Stark:
Reducibility and TT-Lifting for Computation Types.
TLCA 2005: 262-277 |
| 2004 |
|---|
| 1 | | Nick Benton,
Andrew Kennedy,
Sam Lindley,
Claudio V. Russo:
Shrinking Reductions in SML.NET.
IFL 2004: 142-159 |
Data released under the ODC-BY 1.0 license — See also our legal information page