| Randomized, double-blind, Phase 1 trial of an alphavirus replicon vaccine for cytomegalovirus in CMV seronegative adult volunteers DI Bernstein, EA Reap, K Katen, A Watson, K Smith, P Norberg, ... Vaccine 28 (2), 484-493, 2009 | 243 | 2009 |
| A semantics for propositions as sessions S Lindley, JG Morris Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 101 | 2015 |
| Talking bananas: structural recursion for session types S Lindley, JG Morris Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 95 | 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 | 91* | 2019 |
| Alphavirus replicon particles expressing TRP-2 provide potent therapeutic effect on melanoma through activation of humoral and cellular immunity F Avogadri, T Merghoub, MF Maughan, D Hirschhorn-Cymerman, J Morris, ... PloS one 5 (9), e12670, 2010 | 81 | 2010 |
| Development and preclinical evaluation of an alphavirus replicon particle vaccine for cytomegalovirus EA Reap, J Morris, SA Dryga, M Maughan, T Talarico, RE Esch, S Negri, ... Vaccine 25 (42), 7441-7449, 2007 | 69 | 2007 |
| Embedding session types in Haskell S Lindley, JG Morris ACM SIGPLAN Notices 51 (12), 133-145, 2016 | 66 | 2016 |
| Cellular and humoral immune responses to alphavirus replicon vaccines expressing cytomegalovirus pp65, IE1, and gB proteins EA Reap, SA Dryga, J Morris, B Rivers, PK Norberg, RA Olmsted, ... Clinical and vaccine immunology 14 (6), 748-755, 2007 | 66 | 2007 |
| Molecular smallpox vaccine delivered by alphavirus replicons elicits protective immunity in mice and non-human primates JW Hooper, AM Ferro, JW Golden, P Silvera, J Dudek, K Alterson, ... Vaccine 28 (2), 494-511, 2009 | 65 | 2009 |
| Lightweight functional session types S Lindley, JG Morris Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017 | 57 | 2017 |
| Gastrointestinal endoscopy decontamination failure and the risk of transmission of blood-borne viruses: a review J Morris, GJ Duckworth, GL Ridgway Journal of Hospital Infection 63 (1), 1-13, 2006 | 53 | 2006 |
| 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 | 40* | 2019 |
| 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 |
| The best of both worlds: linear functional programming without compromise JG Morris ACM SIGPLAN Notices 51 (9), 448-461, 2016 | 33 | 2016 |
| Mixed messages: Measuring conformance and non-interference in TypeScript J Williams, JG Morris, P Wadler, J Zalewski Schloss Dagstuhl, 2017 | 23 | 2017 |
| Separating sessions smoothly S Fowler, W Kokke, O Dardha, S Lindley, JG Morris Logical methods in computer science 19, 2023 | 17 | 2023 |
| Towards races in linear logic W Kokke, JG Morris, P Wadler Logical Methods in Computer Science 16, 2020 | 17 | 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 | 13 | 2018 |
| Variations on variants JG Morris ACM SIGPLAN Notices 50 (12), 71-81, 2015 | 13 | 2015 |
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
