Hasochism: the pleasure and pain of dependently typed Haskell programming. Sam Lindley and Conor McBride. Draft, June 2013.
Handlers in action. Ohad Kammar, Sam Lindley and Nicolas Oury. Draft, March 2013. To appear at ICFP 2013.
The essence of language-integrated query. James Cheney, Sam Lindley, and Philip Wadler. Draft, March 2013. To appear at ICFP 2013 as: A practical theory of language-integrated query.
Lenses for web data. Raghu Rajkumar, Sam Lindley, Nate Foster, and James Cheney. In the proceedings of BX 2013.
Shredding higher-order nested queries. Sam Lindley, James Cheney and Philip Wadler. Draft, August 2012.
Dr. Formlens, Or: How I Learned to Stop Worrying and Love Monoidal Functors. Raghu Rajkumar, Nate Foster, Sam Lindley and James Cheney. Draft, June 2012.
Embedding F. Sam Lindley. In the proceedings of WGP 2012.
Row-based effect types for database integration. Sam Lindley and James Cheney. In the proceedings of TLDI 2012.
The Database Wiki project: a general-purpose platform for data curation and collaboration. Peter Buneman, James, Cheney, Sam Lindley and Heiko Müller. In SIGMOD Record 40(3), pages 15-20, September 2011.
DBWiki: a database wiki prototyped in Links. James Cheney, Sam Lindley and Heiko Müller. In the proceedings of DBPL 2011.
DBWiki: a structured wiki for curated data and collaborative data management. Peter Buneman, James Cheney, Sam Lindley and Heiko Müller. In the proceedings of SIGMOD 2011.
The arrow calculus. Sam Lindley, Philip Wadler and Jeremy Yallop. In the Journal of Functional Programming 20:1, pages 51-69, January 2010. Cambridge University Press.
Accumulating bindings. Sam Lindley. In the proceedings of 2009 Workshop on Normalization by Evaluation.
Unembedding domain-specific languages. Robert Atkey, Sam Lindley, and Jeremy Yallop. In the proceedings of Haskell Symposium 2009. ACM Digital Library.
The essence of form abstraction. Ezra Cooper, Sam Lindley, Philip Wadler and Jeremy Yallop. In the proceedings of APLAS 2008. LNCS 5356.
Many holes in Hindley-Milner. Sam Lindley. In the proceedings of ML 2008. ACM Digital Library.
Idioms are oblivious, arrows are meticulous, monads are promiscuous. Sam Lindley, Philip Wadler, and Jeremy Yallop. In the proceedings of MSFP 2008. ENTCS 229(5).
The arrow calculus. Sam Lindley, Philip Wadler, and Jeremy Yallop. Technical report EDI-INF-RR-1258.
An idiom's guide to formlets. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. Technical report EDI-INF-RR-1263.
Links: web programming without tiers. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. In the proceedings of FMCO 2006. LNCS 4709.
Extensional rewriting with sums. Sam Lindley. In the proceedings of TLCA 2007. LNCS 4583.
Implementing deterministic declarative concurrency using sieves. Sam Lindley. In the proceedings of DAMP 2007. ACM Digital Library.
Normalisation by evaluation in the compilation of typed functional programming languages. Sam Lindley. PhD Thesis, The University of Edinburgh, 2005.
Reducibility and TT-lifting for computation types. Sam Lindley and Ian Stark. In the proceedings of TLCA 2005. LNCS 3461.
Shrinking reductions in SML.NET. Nick Benton, Andrew Kennedy, Sam Lindley and Claudio Russo. In the proceedings of IFL 2004. LNCS 3474.