@article{weirich_etal_2017,
 title = {A Specification for Dependent Types in {Haskell}},
 author = {Weirich, Stephanie and Voizard, Antoine and Amorim, Pedro Henrique Azevedo de and Eisenberg, Richard A.},
 year = {2017},
 doi = {10.1145/3110275},
 url = {https://dl.acm.org/doi/10.1145/3110275},
 publisher = {ACM},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {1},
 number = {ICFP},
 pages = {1--29}
}