Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux. Implementing path-dependent GADT reasoning for Scala 3. In Julien Richard-Foy, Sébastien Doeraene, editors, SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021. pages 22-32, ACM, 2021. [doi]