%0 Conference Paper %1 conf/scala/XuBP21 %A Xu, Yichen %A Boruch-Gruszecki, Aleksander %A Parreaux, Lionel %B SCALA@SPLASH %D 2021 %E Richard-Foy, Julien %E Doeraene, Sébastien %I ACM %K dblp %P 22-32 %T Implementing path-dependent GADT reasoning for Scala 3. %U http://dblp.uni-trier.de/db/conf/scala/scala2021.html#XuBP21 %@ 978-1-4503-9113-9

@inproceedings{conf/scala/XuBP21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Xu, Yichen and Boruch-Gruszecki, Aleksander and Parreaux, Lionel}, biburl = {https://www.bibsonomy.org/bibtex/2bede02d49804f40b1b65e53ccea8f771/dblp}, booktitle = {SCALA@SPLASH}, crossref = {conf/scala/2021}, editor = {Richard-Foy, Julien and Doeraene, Sébastien}, ee = {https://doi.org/10.1145/3486610.3486892}, interhash = {d9ceecf1a89388550bcc792d335f7ab5}, intrahash = {bede02d49804f40b1b65e53ccea8f771}, isbn = {978-1-4503-9113-9}, keywords = {dblp}, pages = {22-32}, publisher = {ACM}, timestamp = {2024-04-09T11:37:20.000+0200}, title = {Implementing path-dependent GADT reasoning for Scala 3.}, url = {http://dblp.uni-trier.de/db/conf/scala/scala2021.html#XuBP21}, year = 2021 }