| A semantics for propositions as sessions S Lindley, JG Morris Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 92 | 2015 |
| Talking bananas: structural recursion for session types S Lindley, JG Morris Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 91 | 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 | 85* | 2019 |
| Embedding session types in Haskell S Lindley, JG Morris ACM SIGPLAN Notices 51 (12), 133-145, 2016 | 59 | 2016 |
| Lightweight functional session types S Lindley, JG Morris Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017 | 49 | 2017 |
| 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 |
| Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016 | 37 | 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 | 31* | 2019 |
| The best of both worlds: linear functional programming without compromise JG Morris ACM SIGPLAN Notices 51 (9), 448-461, 2016 | 28 | 2016 |
| Mixed messages: Measuring conformance and non-interference in TypeScript J Williams, JG Morris, P Wadler, J Zalewski Schloss Dagstuhl, 2017 | 21 | 2017 |
| Towards races in linear logic W Kokke, JG Morris, P Wadler Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 13 | 2019 |
| Separating sessions smoothly S Fowler, W Kokke, O Dardha, S Lindley, JG Morris arXiv preprint arXiv:2105.08996, 2021 | 12 | 2021 |
| 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 | 12 | 2018 |
| A simple semantics for Haskell overloading JG Morris ACM SIGPLAN Notices 49 (12), 107-118, 2014 | 10 | 2014 |
| Constrained type families JG Morris, RA Eisenberg Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 9 | 2017 |
| Variations on variants JG Morris ACM SIGPLAN Notices 50 (12), 71-81, 2015 | 9 | 2015 |
| 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 | 8 | 2010 |
| 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, ... Washington, DC: Friedrich-Ebert-Stiftung, 2005 | 6 | 2005 |
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
