Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso. Towards improved GADT reasoning in Scala. In Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom, editors, Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019. pages 12-16, ACM, 2019. [doi]
@inproceedings{ParreauxBG19,
title = {Towards improved GADT reasoning in Scala},
author = {Lionel Parreaux and Aleksander Boruch-Gruszecki and Paolo G. Giarrusso},
year = {2019},
doi = {10.1145/3337932.3338813},
url = {https://doi.org/10.1145/3337932.3338813},
researchr = {https://researchr.org/publication/ParreauxBG19},
cites = {0},
citedby = {0},
pages = {12-16},
booktitle = {Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019},
editor = {Jonathan Immanuel Brachthäuser and Sukyoung Ryu and Nathaniel Nystrom},
publisher = {ACM},
isbn = {978-1-4503-6824-7},
}