Title: An Algorithm for Inferring Quasi-Static Types
Author: Alberto Oliart
Date: November 1994

Abstract:

This report presents an algorithm, and its implementation, for doing type
inference in the context of Quasi-Static Typing (QST) ["Quasy-static
Typing." Satish Thatte  Proc. ACM Symp. om Principles of Programming
Languages, 1988]. The package infers types a la ``QST'' for the simply
typed lambda-calculus.