The arrow calculus. Sam Lindley, Philip Wadler and Jeremy Yallop. Accepted for publication in the Journal of Functional Programming. 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.
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.