A Leaner Specification for GADTs

@inproceedings{Middelkoop2008ALS,
  title={A Leaner Specification for GADTs},
  author={Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  booktitle={Trends in Functional Programming},
  year={2008}
}