Följ
Sam Lindley
Sam Lindley
The University of Edinburgh
Verifierad e-postadress på ed.ac.uk
Titel
Citeras av
Citeras av
År
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
1972013
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
1772015
A practical theory of language-integrated query
J Cheney, S Lindley, P Wadler
ACM SIGPLAN Notices 48 (9), 403-416, 2013
1202013
A semantics for propositions as sessions
S Lindley, JG Morris
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
1012015
Liberating effects with rows and handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development, 15-27, 2016
962016
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
952016
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
872019
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
832019
Coherence generalises duality: A logical explanation of multiparty session types
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler
Leibniz International Proceedings in Informatics (LIPIcs) 59, 1-15, 2016
792016
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
782012
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
702005
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 2016
662016
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
662009
Hasochism: the pleasure and pain of dependently typed Haskell programming
S Lindley, C McBride
ACM SIGPLAN Notices 48 (12), 81-92, 2013
652013
Lightweight functional session types
S Lindley, JG Morris
Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017
572017
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
552017
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
532014
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
522018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20