Type Inference for Overloading without Restrictions, Declarations or Annotations

Carlos Camarão, Lucília Figueiredo. Type Inference for Overloading without Restrictions, Declarations or Annotations. In Aart Middeldorp, Taisuke Sato, editors, Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings. Volume 1722 of Lecture Notes in Computer Science, pages 37-52, Springer, 1999.

Abstract

Abstract is missing.