Implementing path-dependent GADT reasoning for Scala 3
Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux
Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
1
Link opens in a new tab
Citation
(Scopus)