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]
Abstract is missing.