BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Morris:J=_Garrett

Contributed to:

ESOP 20152015
ICFP 20102010
Haskell 20102010
Haskell 20142014
Haskell 20152015
Haskell 20162016
ECOOP 20172017
OOPSLA 20182018
POPL 20192019
POPL 20202020

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.