@Inproceedings{EPTCS241.2, author = {Garrigue, Jacques and Le Normand, Jacques}, year = {2017}, title = {GADTs and Exhaustiveness: Looking for the Impossible}, editor = {Yallop, Jeremy and Doligez, Damien}, booktitle = {{\rm Proceedings} ML Family / OCaml Users and Developers workshops, {\rm Vancouver, Canada, 3rd & 4th September 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {241}, publisher = {Open Publishing Association}, pages = {23-35}, doi = {10.4204/EPTCS.241.2}, }