TY  - RPRT
TI  - GADTs and Exhaustiveness: Looking for the Impossible
AU  - Jacques Garrigue
AU  - Jacques Le Normand
PY  - 2017
DO  - 10.4204/eptcs.241.2
UR  - https://arxiv.org/abs/1702.02281
ID  - 1702.02281
ER  -