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

ICFP 2020	Committee Member in External Review Committee within the Research Papers-track
TyDe 2019	Committee Member in Program Committee within the TyDe 2019-track
POPL 2020	Author of Partial Type Constructors; or Making Ad Hoc Datatypes Less Ad Hoc within the Research Papers-track
ESOP 2019	Committee Member in Program Committee within the ESOP 2019-track
POPL 2019	Author 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 2018	Author of Session Types for Tierless Web Applications within the ProWeb 2018-track
SPLASH 2018	Author 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 2017	Committee Member in Program Committee within the NOOL 2017-track
ICFP 2018	Committee 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 2017	Author of On Unsatisfiability within the HIW 2017-track
Haskell 2017	Committee Member in Program Committee within the Haskell 2017-track
ICFP 2017	Author of Constrained Type Families within the Research Papers-track
NOOL 2016	Committee Member in Program Committee within the NOOL-track
Haskell 2016	Author of Embedding Session Types in Haskell within the Haskell-track
ECOOP 2017	Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track
ICFP 2016	Author 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 2015	Author of A Semantics for Propositions as Sessions within the ESOP-track