Title Intersection types and overloading Publication Type Journal Article Year of Publication 1999 Authors Birov D Journal Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique Volume 88 Issue Livre 3 Pagination 221-238 ISSN 0205-0808 Abstract Type systems which are employed in programming languages are a practical result obtained by the formal type theory. Type systems based on intersection types are studied extensively during the past years both as tools for analysis of pure $\lambda$-calculus and as a foundation for practical programming languages. One of the intriguing properties of intersection types is their ability to express an unbounded finite amount of information about a program.The notion of overloading sounds very actually in programming languages. We point an addition function (+) for both adding integer and real numbers as a typical example for it. We generalize overloading and describe type system including higher order function overloading in this paper.