Seguir
Sam Lindley
Sam Lindley
The University of Edinburgh
Dirección de correo verificada de ed.ac.uk
Título
Citado por
Citado por
Año
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
4892006
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
2012013
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
1832015
A practical theory of language-integrated query
J Cheney, S Lindley, P Wadler
ACM SIGPLAN Notices 48 (9), 403-416, 2013
1262013
A semantics for propositions as sessions
S Lindley, JG Morris
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
1022015
Liberating effects with rows and handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016
982016
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
972016
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, e15, 2019
892019
Exceptional asynchronous session types: session types without tiers
S Fowler, S Lindley, JG Morris, S Decova
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
852019
Coherence generalises duality: A logical explanation of multiparty session types
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler
Proceedings of the 27th International Conference on Concurrency Theory, 1-15, 2016
812016
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
782011
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
762012
Reducibility and⊤⊤-lifting for computation types
S Lindley, I Stark
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
712005
Hasochism: the pleasure and pain of dependently typed Haskell programming
S Lindley, C McBride
ACM SIGPLAN Notices 48 (12), 81-92, 2013
672013
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
672009
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 2016
662016
Lightweight functional session types
S Lindley, JG Morris
Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017
602017
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
592017
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
572018
Query shredding: efficient relational evaluation of queries over nested multisets
J Cheney, S Lindley, P Wadler
Proceedings of the 2014 ACM SIGMOD international conference on Management of …, 2014
542014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20