J. Garrett Morris

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 27

Top Topics

Functional Programming

Cut Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
Soundly Handling Linearity. Proc. ACM Program. Lang. 8 (POPL) (2024)
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
Soundly Handling Linearity. CoRR (2023)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19 (3) (2023)
Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
A Type-Based Approach to Divide-and-Conquer Recursion in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alex Hubers, J. Garrett Morris
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Alex Hubers, J. Garrett Morris
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. CoRR (2023)
Apoorv Ingle, Alex Hubers, J. Garrett Morris
Partial type constructors in practice. Haskell (2022)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CoRR (2021)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CONCUR (2021)
Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
Partial type constructors: or, making ad hoc datatypes less ad hoc. Proc. ACM Program. Lang. 4 (POPL) (2020)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. Log. Methods Comput. Sci. 16 (4) (2020)
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3 (POPL) (2019)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. CoRR (2019)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. COORDINATION (2019)
J. Garrett Morris, James McKinna
Abstracting extensible data types: or, rows by any other name. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jack Williams, J. Garrett Morris, Philip Wadler
The root cause of blame: contracts for intersection and union types. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ECOOP (2017)
J. Garrett Morris, Richard A. Eisenberg
Constrained type families. Proc. ACM Program. Lang. 1 (ICFP) (2017)
J. Garrett Morris, Richard A. Eisenberg
Constrained Type Families. CoRR (2017)
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Sam Lindley, J. Garrett Morris
Talking bananas: structural recursion for session types. ICFP (2016)
J. Garrett Morris
The Best of Both Worlds: Linear Functional Programming without Compromise. CoRR (2016)
J. Garrett Morris
Variations on Variants. CoRR (2016)
J. Garrett Morris
The best of both worlds: linear functional programming without compromise. ICFP (2016)
Sam Lindley, J. Garrett Morris
Embedding session types in Haskell. Haskell (2016)
J. Garrett Morris
A Simple Semantics for Haskell Overloading. CoRR (2016)
Robert Atkey, Sam Lindley, J. Garrett Morris
Conflation Confers Concurrency. A List of Successes That Can Change the World (2016)
Sam Lindley, J. Garrett Morris
A Semantics for Propositions as Sessions. ESOP (2015)
J. Garrett Morris
Variations on variants. Haskell (2015)
Sam Lindley, J. Garrett Morris
Sessions as Propositions. PLACES (2014)
J. Garrett Morris
A simple semantics for Haskell overloading. Haskell (2014)
J. Garrett Morris
Experience report: using hackage to inform language design. Haskell (2010)
J. Garrett Morris, Mark P. Jones
Instance chains: type class programming without overlapping instances. ICFP (2010)