Sam Lindley
Sam Lindley
Dirección de correo verificada de
Citado por
Citado por
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
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
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
A practical theory of language-integrated query
J Cheney, S Lindley, P Wadler
ACM SIGPLAN Notices 48 (9), 403-416, 2013
A semantics for propositions as sessions
S Lindley, JG Morris
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
Liberating effects with rows and handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
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
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
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
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
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
Reducibility and⊤⊤-lifting for computation types
S Lindley, I Stark
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
Hasochism: the pleasure and pain of dependently typed Haskell programming
S Lindley, C McBride
ACM SIGPLAN Notices 48 (12), 81-92, 2013
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 2016
Lightweight functional session types
S Lindley, JG Morris
Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20