A New Type-Checker for a Functional Language.

Published in: Data Types and Persistence (Appin), Informal Proceedings (1985)