| A semantics for propositions as sessions S Lindley, JG Morris European Symposium on Programming Languages and Systems, 560-584, 2015 | 75 | 2015 |
| Talking bananas: structural recursion for session types S Lindley, JG Morris Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 71 | 2016 |
| Embedding session types in Haskell S Lindley, JG Morris ACM SIGPLAN Notices 51 (12), 133-145, 2016 | 52 | 2016 |
| 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 | 45 | 2019 |
| Instance chains: type class programming without overlapping instances JG Morris, MP Jones Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 44 | 2010 |
| Lightweight functional session types S Lindley, JG Morris Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017 | 38 | 2017 |
| Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World, 32-55, 2016 | 31 | 2016 |
| The best of both worlds: linear functional programming without compromise JG Morris ACM SIGPLAN Notices 51 (9), 448-461, 2016 | 25 | 2016 |
| Abstracting extensible data types: or, rows by any other name JG Morris, J McKinna Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 23* | 2019 |
| Mixed messages: Measuring conformance and non-interference in TypeScript J Williams, JG Morris, P Wadler, J Zalewski Schloss Dagstuhl, 2017 | 16 | 2017 |
| The root cause of blame: contracts for intersection and union types J Williams, JG Morris, P Wadler Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 9 | 2018 |
| Constrained type families JG Morris, RA Eisenberg Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 8 | 2017 |
| A simple semantics for Haskell overloading JG Morris ACM SIGPLAN Notices 49 (12), 107-118, 2014 | 8 | 2014 |
| Sessions as propositions S Lindley, JG Morris arXiv preprint arXiv:1406.3479, 2014 | 8 | 2014 |
| Experience report: Using Hackage to inform language design JG Morris Proceedings of the third ACM Haskell symposium on Haskell, 61-66, 2010 | 7 | 2010 |
| Exceptional asynchronous session types S Fowler, S Lindley, JG Morris, S Decova Proceedings of the 46th Symposium on Programming Languages (POPL 2019), ACM …, 2019 | 6 | 2019 |
| Variations on variants JG Morris ACM SIGPLAN Notices 50 (12), 71-81, 2015 | 6 | 2015 |
| Embedding opencl in ghc haskell BR Gaster, JG Morris | 6 | 2013 |
| Working Time for Working Families: Europe and the United States A Hegewisch, JC Williams, S Burri, E Vogelheim, M Still, R Bispinck, ... Friedrich-Ebert-Stiftung, Washington, DC, 2004 | 6 | 2004 |
| Separating sessions smoothly S Fowler, W Kokke, O Dardha, S Lindley, JG Morris arXiv preprint arXiv:2105.08996, 2021 | 5 | 2021 |
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
