Type inference for overloading without restrictions, declarations or annotations (1999)

by C Camarao, L Figueiredo
Venue:In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS’99