Type Inference for Overloading without Restrictions, Declarations or Annotations.
Carlos Camaro, Luclia Figueiredo
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/CamaraoF99 ↗
Browse the full FLOPS paper archive.