A one pass algorithm for type checking with overloading and polymorphism

Abstract

This paper presents an algorithm to do type checking with overloaded functions. It also handles type variables, which enables it to handle polymorphic functions and other interesting problems as incomplete programs. The algorithm just uses one pass over the syntactic tree.