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
4872006
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
2082013
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
1882015
A practical theory of language-integrated query
J Cheney, S Lindley, P Wadler
ACM SIGPLAN Notices 48 (9), 403-416, 2013
1252013
A semantics for propositions as sessions
S Lindley, JG Morris
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
1062015
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
1022016
Liberating effects with rows and handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016
1002016
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
902019
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
872019
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
832016
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
772012
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
772011
Reducibility and⊤⊤-lifting for computation types
S Lindley, I Stark
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
722005
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 2016
682016
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
682009
Hasochism: the pleasure and pain of dependently typed Haskell programming
S Lindley, C McBride
ACM SIGPLAN Notices 48 (12), 81-92, 2013
672013
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
622018
Lightweight functional session types
S Lindley, JG Morris
Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017
612017
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
602017
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