Travelled to:1 × USA
1 × United Kingdom
Collaborated with:∅ S.Lindley M.P.Jones Jack Williams P.Wadler J.McKinna R.A.Eisenberg Jakub Zalewski Simon Fowler 0001 Sára Decova
Talks about:type (8) session (4) without (2) instanc (2) semant (2) haskel (2) hoc (2) ad (2) constructor (1) intersect (1)
Person: J. Garrett Morris
DBLP: Morris:J=_Garrett
Contributed to:
2015
2010
2010201420152016
2017
2018
20192020Wrote 11 papers:
- ESOP-2015-LindleyM #semantics
- A Semantics for Propositions as Sessions (SL, JGM), pp. 560–584.
- ICFP-2010-MorrisJ #programming
- Instance chains: type class programming without overlapping instances (JGM, MPJ), pp. 375–386.
- Haskell-2010-Morris #case study #design #experience #using
- Experience report: using hackage to inform language design (JGM), pp. 61–66.
- Haskell-2014-Morris #haskell #semantics
- A simple semantics for Haskell overloading (JGM), pp. 107–118.
- Haskell-2015-Morris
- Variations on variants (JGM), pp. 71–81.
- Haskell-2016-LindleyM #haskell
- Embedding session types in Haskell (SL, JGM), pp. 133–145.
- ECOOP-2017-WilliamsMWZ #consistency #typescript
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.
- OOPSLA-2018-WilliamsMW #contract #using
- The root cause of blame: contracts for intersection and union types (JW, JGM, PW), p. 29.
- POPL-2019-FowlerLMD
- Exceptional asynchronous session types: session types without tiers (SF0, SL, JGM, SD), p. 29.
- POPL-2019-MorrisM #data type
- Abstracting extensible data types: or, rows by any other name (JGM, JM), p. 28.
- POPL-2020-JonesME #ad hoc #data type
- Partial type constructors: or, making ad hoc datatypes less ad hoc (MPJ, JGM, RAE), p. 28.