Title: A critique of type systems for global overloading
Subjects: PROGRAMMERS, COMPUTER PROGRAMMING