Adelaine Gelain, Cristiano Vasconcellos, Carlos CamarĂ£o, Rodrigo Ribeiro. Type Inference for GADTs and Anti-unification. In Alberto Pardo, S. Doaitse Swierstra, editors, Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings. Volume 9325 of Lecture Notes in Computer Science, pages 16-30, Springer, 2015. [doi]
Abstract is missing.