Sam Lindley
Sam Lindley
Verified email at ed.ac.uk
Title
Cited by
Cited by
Year
Links: Web programming without tiers
E Cooper, S Lindley, P Wadler, J Yallop
International Symposium on Formal Methods for Components and Objects, 266-296, 2006
4112006
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
1412013
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code
M Steuwer, C Fensch, S Lindley, C Dubach
ACM SIGPLAN Notices 50 (9), 205-217, 2015
1142015
A practical theory of language-integrated query
J Cheney, S Lindley, P Wadler
ACM SIGPLAN Notices 48 (9), 403-416, 2013
982013
Liberating effects with rows and handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016
702016
A semantics for propositions as sessions
S Lindley, JG Morris
European Symposium on Programming Languages and Systems, 560-584, 2015
672015
Reducibility and⊤⊤-lifting for computation types
S Lindley, I Stark
International Conference on Typed Lambda Calculi and Applications, 262-277, 2005
662005
Idioms are oblivious, arrows are meticulous, monads are promiscuous
S Lindley, P Wadler, J Yallop
Electronic notes in theoretical computer science 229 (5), 97-117, 2011
602011
Row-based effect types for database integration
S Lindley, J Cheney
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012
582012
Hasochism: the pleasure and pain of dependently typed Haskell programming
S Lindley, C McBride
ACM SIGPLAN Notices 48 (12), 81-92, 2013
562013
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
542009
Coherence generalises duality: A logical explanation of multiparty session types
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
522016
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
482016
The essence of form abstraction
E Cooper, S Lindley, P Wadler, J Yallop
Asian Symposium on Programming Languages and Systems, 205-220, 2008
462008
The arrow calculus
S Lindley, P Wadler, J Yallop
Journal of Functional Programming 20 (1), 51-69, 2010
452010
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Y Forster, O Kammar, S Lindley, M Pretnar
Journal of Functional Programming 29, 2019
422019
Extensional rewriting with sums
S Lindley
International Conference on Typed Lambda Calculi and Applications, 255-271, 2007
372007
Normalisation by evaluation in the compilation of typed functional programming languages
S Lindley
University of Edinburgh. College of Science and Engineering. School of …, 2005
372005
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 2016
362016
Everything old is new again: quoted domain-specific languages
S Najd, S Lindley, J Svenningsson, P Wadler
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
332016
The system can't perform the operation now. Try again later.
Articles 1–20