J. Garrett Morris
J. Garrett Morris
The University of Iowa
Verified email at - Homepage
Cited by
Cited by
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
A semantics for propositions as sessions
S Lindley, JG Morris
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 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
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
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
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 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
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
Lightweight functional session types
S Lindley, JG Morris
Behavioural Types: from Theory to Tools. River Publishers, 265-286, 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
Instance chains: type class programming without overlapping instances
JG Morris, MP Jones
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 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
Conflation confers concurrency
R Atkey, S Lindley, JG Morris
A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016
The best of both worlds: linear functional programming without compromise
JG Morris
ACM SIGPLAN Notices 51 (9), 448-461, 2016
Mixed messages: Measuring conformance and non-interference in TypeScript
J Williams, JG Morris, P Wadler, J Zalewski
Schloss Dagstuhl, 2017
Separating sessions smoothly
S Fowler, W Kokke, O Dardha, S Lindley, JG Morris
Logical methods in computer science 19, 2023
Towards races in linear logic
W Kokke, JG Morris, P Wadler
Logical Methods in Computer Science 16, 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
Variations on variants
JG Morris
ACM SIGPLAN Notices 50 (12), 71-81, 2015
The system can't perform the operation now. Try again later.
Articles 1–20