J. Garrett Morris

38 papers A 6B 1C 8Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2025 C ed.
Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, Haskell 2025, Singapore, October 12-18, 2025
Haskell
J. Garrett Morris, Ningning Xie
2025 J jnl
Understanding Haskell-style Overloading via Open Data and Open Functions.
CoRR
Andrew Marmaduke, Apoorv Ingle, J. Garrett Morris
2024 A conf
Assessing UAV Sensor Spoofing: More Than A GNSS Problem.
ACSAC
Bailey Srimoungchanh, J. Garrett Morris, Drew Davidson
2024 J jnl
Extensible Recursive Functions, Algebraically.
CoRR
Alex Hubers, Apoorv Ingle, Andrew Marmaduke, J. Garrett Morris
2024 C ed.
Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, Haskell 2024, Milan, Italy, September 6-7, 2024
Haskell
Niki Vazou, J. Garrett Morris
2024 J jnl
Soundly Handling Linearity.
Proc. ACM Program. Lang.
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
2023 J jnl
A Type-Based Approach to Divide-and-Conquer Recursion in Coq.
Proc. ACM Program. Lang.
Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
2023 J jnl
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc.
Proc. ACM Program. Lang.
Alex Hubers, J. Garrett Morris
2023 J jnl
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc.
CoRR
Alex Hubers, J. Garrett Morris
2023 J jnl
Separating Sessions Smoothly.
Log. Methods Comput. Sci.
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2023 J jnl
Soundly Handling Linearity.
CoRR
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
2022 C conf
Partial type constructors in practice.
Haskell
Apoorv Ingle, Alex Hubers, J. Garrett Morris
2021 B conf
Separating Sessions Smoothly.
CONCUR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 J jnl
Separating Sessions Smoothly.
CoRR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2020 J jnl
Partial type constructors: or, making ad hoc datatypes less ad hoc.
Proc. ACM Program. Lang.
Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
2020 J jnl
Towards Races in Linear Logic.
Log. Methods Comput. Sci.
Wen Kokke, J. Garrett Morris, Philip Wadler
2019 J jnl
Abstracting extensible data types: or, rows by any other name.
Proc. ACM Program. Lang.
J. Garrett Morris, James McKinna
2019 J jnl
Exceptional asynchronous session types: session types without tiers.
Proc. ACM Program. Lang.
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
2019 C conf
Towards Races in Linear Logic.
COORDINATION
Wen Kokke, J. Garrett Morris, Philip Wadler
2019 J jnl
Towards Races in Linear Logic.
CoRR
Wen Kokke, J. Garrett Morris, Philip Wadler
2018 J jnl
The root cause of blame: contracts for intersection and union types.
Proc. ACM Program. Lang.
Jack Williams, J. Garrett Morris, Philip Wadler
2017 J jnl
Constrained Type Families.
CoRR
J. Garrett Morris, Richard A. Eisenberg
2017 J jnl
Constrained type families.
Proc. ACM Program. Lang.
J. Garrett Morris, Richard A. Eisenberg
2017 J jnl
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).
Dagstuhl Artifacts Ser.
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
2017 A conf
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.
ECOOP
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
2016 J jnl
A Simple Semantics for Haskell Overloading.
CoRR
J. Garrett Morris
2016 — conf
Conflation Confers Concurrency.
A List of Successes That Can Change the World
Robert Atkey, Sam Lindley, J. Garrett Morris
2016 C conf
Embedding session types in Haskell.
Haskell
Sam Lindley, J. Garrett Morris
2016 A conf
Talking bananas: structural recursion for session types.
ICFP
Sam Lindley, J. Garrett Morris
2016 J jnl
The Best of Both Worlds: Linear Functional Programming without Compromise.
CoRR
J. Garrett Morris
2016 A conf
The best of both worlds: linear functional programming without compromise.
ICFP
J. Garrett Morris
2016 J jnl
Variations on Variants.
CoRR
J. Garrett Morris
2015 A conf
A Semantics for Propositions as Sessions.
ESOP
Sam Lindley, J. Garrett Morris
2015 C conf
Variations on variants.
Haskell
J. Garrett Morris
2014 C conf
A simple semantics for Haskell overloading.
Haskell
J. Garrett Morris
2014 — conf
Sessions as Propositions.
PLACES
Sam Lindley, J. Garrett Morris
2010 C conf
Experience report: using hackage to inform language design.
Haskell
J. Garrett Morris
2010 A conf
Instance chains: type class programming without overlapping instances.
ICFP
J. Garrett Morris, Mark P. Jones