J. Garrett Morris

Registered user since Mon 29 Dec 2014

Name: J. Garrett Morris

Country: United States

Affiliation: University of Kansas, USA

Personal website: http://jgbm.github.io

Contributions

ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
POPL 2019Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track
Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track
ProWeb 2018Author of Session Types for Tierless Web Applications within the ProWeb 2018-track
SPLASH 2018Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the OOPSLA-track
Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the Artifacts-track
NOOL 2017Committee Member in Program Committee within the NOOL 2017-track
ICFP 2018Committee Member in Distinguished Papers Committee within the Research Papers-track
Session Chair of Program Construction (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
HIW 2017Author of On Unsatisfiability within the HIW 2017-track
Haskell 2017Committee Member in Program Committee within the Haskell 2017-track
ICFP 2017Author of Constrained Type Families within the Research Papers-track
NOOL 2016Committee Member in Program Committee within the NOOL-track
Haskell 2016Author of Embedding Session Types in Haskell within the Haskell-track
ECOOP 2017Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track
ICFP 2016Author of Talking Bananas: Structural Recursion for Session Types within the Research Papers-track
Author of The Best of Both Worlds: Linear Functional Programming without Compromise within the Research Papers-track
ESOP 2015Author of A Semantics for Propositions as Sessions within the ESOP-track