| A semantics for propositions as sessions S Lindley, JG Morris Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 105 | 2015 |
| Talking bananas: structural recursion for session types S Lindley, JG Morris Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 102 | 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 | 94* | 2019 |
| Embedding session types in Haskell S Lindley, JG Morris ACM SIGPLAN Notices 51 (12), 133-145, 2016 | 68 | 2016 |
| Lightweight functional session types S Lindley, JG Morris Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017 | 61 | 2017 |
| Instance chains: type class programming without overlapping instances JG Morris, MP Jones Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 45 | 2010 |
| 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 | 44* | 2019 |
| Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016 | 41 | 2016 |
| The best of both worlds: linear functional programming without compromise JG Morris ACM SIGPLAN Notices 51 (9), 448-461, 2016 | 35 | 2016 |
| Mixed messages: Measuring conformance and non-interference in TypeScript J Williams, JG Morris, P Wadler, J Zalewski Schloss Dagstuhl, 2017 | 24 | 2017 |
| Separating sessions smoothly S Fowler, W Kokke, O Dardha, S Lindley, JG Morris arXiv preprint arXiv:2105.08996, 2021 | 20 | 2021 |
| Towards races in linear logic W Kokke, JG Morris, P Wadler Logical Methods in Computer Science 16, 2020 | 19 | 2020 |
| 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 | 17 | 2018 |
| Variations on variants JG Morris ACM SIGPLAN Notices 50 (12), 71-81, 2015 | 12 | 2015 |
| 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 |
| Experience report: Using Hackage to inform language design JG Morris Proceedings of the third ACM Haskell symposium on Haskell, 61-66, 2010 | 9 | 2010 |
| Sessions as propositions S Lindley, JG Morris arXiv preprint arXiv:1406.3479, 2014 | 8 | 2014 |
| Embedding opencl in ghc haskell BR Gaster, JG Morris | 6 | 2013 |
| Type Classes and Instance Chains: A Relational Approach JG Morris Portland State University, 2013 | 5 | 2013 |
Sam LindleyThe University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
