Följ
J. Garrett Morris
J. Garrett Morris
The University of Iowa
Verifierad e-postadress på acm.org - Startsida
Titel
Citeras av
Citeras av
År
A semantics for propositions as sessions
S Lindley, JG Morris
European Symposium on Programming Languages and Systems, 560-584, 2015
872015
Talking bananas: structural recursion for session types
S Lindley, JG Morris
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
862016
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
682019
Embedding session types in Haskell
S Lindley, JG Morris
ACM SIGPLAN Notices 51 (12), 133-145, 2016
572016
Lightweight functional session types
S Lindley, JG Morris
Behavioural Types: from Theory to Tools. River Publishers, 265-286, 2017
472017
Object selection and calibration, background estimations and MC samples for the Winter 2012 Top Quark analyses with 2011 data
B Acharya, J Adelman, S Adomeit, M Aoki, B Alvarez, F Balli, W Bell, ...
Technical Report ATL-COMPHYS-2012-224, CERN, Geneva, 2012
442012
Instance chains: type class programming without overlapping instances
JG Morris, MP Jones
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
442010
Conflation confers concurrency
R Atkey, S Lindley, JG Morris
A List of Successes That Can Change the World, 32-55, 2016
352016
The best of both worlds: linear functional programming without compromise
JG Morris
ACM SIGPLAN Notices 51 (9), 448-461, 2016
282016
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
26*2019
Mixed messages: Measuring conformance and non-interference in TypeScript
J Williams, JG Morris, P Wadler, J Zalewski
Schloss Dagstuhl, 2017
202017
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
122018
Separating sessions smoothly
S Fowler, W Kokke, O Dardha, S Lindley, JG Morris
arXiv preprint arXiv:2105.08996, 2021
102021
A simple semantics for Haskell overloading
JG Morris
ACM SIGPLAN Notices 49 (12), 107-118, 2014
102014
Towards races in linear logic
W Kokke, JG Morris, P Wadler
International Conference on Coordination Languages and Models, 37-53, 2019
92019
Constrained type families
JG Morris, RA Eisenberg
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
92017
Variations on variants
JG Morris
ACM SIGPLAN Notices 50 (12), 71-81, 2015
82015
Sessions as propositions
S Lindley, JG Morris
arXiv preprint arXiv:1406.3479, 2014
82014
Experience report: Using Hackage to inform language design
JG Morris
Proceedings of the third ACM Haskell symposium on Haskell, 61-66, 2010
82010
Exceptional asynchronous session types: session types without tiers. PACMPL, 3, POPL (2019), 28: 1–28: 29
S Fowler, S Lindley, JG Morris, S Decova
72019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20