J. Garrett Morris

According to our database, J. Garrett Morris authored at least 23 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc.

Alex Hubers, J. Garrett Morris

Proc. ACM Program. Lang., August, 2023

A Type-Based Approach to Divide-and-Conquer Recursion in Coq.

Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump

Proc. ACM Program. Lang., January, 2023

Separating Sessions Smoothly.

Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

Log. Methods Comput. Sci., 2023

Soundly Handling Linearity.

Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris

CoRR, 2023

2022

Partial type constructors in practice.

Apoorv Ingle, Alex Hubers, J. Garrett Morris

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2020

Partial type constructors: or, making ad hoc datatypes less ad hoc.

Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg

Proc. ACM Program. Lang., 2020

Towards Races in Linear Logic.

Wen Kokke, J. Garrett Morris, Philip Wadler

Log. Methods Comput. Sci., 2020

2019

Abstracting extensible data types: or, rows by any other name.

J. Garrett Morris, James McKinna

Proc. ACM Program. Lang., 2019

Exceptional asynchronous session types: session types without tiers.

Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova

Proc. ACM Program. Lang., 2019

2018

The root cause of blame: contracts for intersection and union types.

Jack Williams, J. Garrett Morris, Philip Wadler

Proc. ACM Program. Lang., 2018

2017

Constrained type families.

J. Garrett Morris, Richard A. Eisenberg

Proc. ACM Program. Lang., 2017

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Dagstuhl Artifacts Ser., 2017

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

The best of both worlds: linear functional programming without compromise.

J. Garrett Morris

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Talking bananas: structural recursion for session types.

Sam Lindley, J. Garrett Morris

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Embedding session types in Haskell.

Sam Lindley, J. Garrett Morris

Proceedings of the 9th International Symposium on Haskell, 2016

Conflation Confers Concurrency.

Robert Atkey, Sam Lindley, J. Garrett Morris

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Variations on variants.

J. Garrett Morris

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

A Semantics for Propositions as Sessions.

Sam Lindley, J. Garrett Morris

Proceedings of the Programming Languages and Systems, 2015

2014

Sessions as Propositions.

Sam Lindley, J. Garrett Morris

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

A simple semantics for Haskell overloading.

J. Garrett Morris

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2010

Instance chains: type class programming without overlapping instances.

J. Garrett Morris, Mark P. Jones

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Experience report: using hackage to inform language design.

J. Garrett Morris

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010