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.

Authors

Carlos Camarão

This author has not been identified. Look up 'Carlos Camarão' in Google

Lucília Figueiredo

This author has not been identified. Look up 'Lucília Figueiredo' in Google