5 papers:
ICFP-2015-KarachaliasSVJ #data type #lazy evaluation #pattern matching- GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.
ESOP-2013-SchererR #data type #type system- GADTs Meet Subtyping (GS, DR), pp. 554–573.
- ICFP-2009-SchrijversJSV #data type #decidability #type inference
- Complete and decidable type inference for GADTs (TS, SLPJ, MS, DV), pp. 341–352.
POPL-2008-JohannG #data type #programming- Foundations for structured programming with GADTs (PJ, NG), pp. 297–308.
- ICFP-2006-JonesVWW #data type #type inference
- Simple unification-based type inference for GADTs (SLPJ, DV, SW, GW), pp. 50–61.
