Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A role for dependent types in Haskell
ICFP, 2019.
@article{ICFP-2019-WeirichCVE,
author = "Stephanie Weirich and Pritam Choudhury and Antoine Voizard and Richard A. Eisenberg",
doi = "10.1145/3341705",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{A role for dependent types in Haskell}",
volume = 3,
year = 2019,
}