Type inference for recursive definitions (1999)

by Assaf J Kfoury, Santiago M Pericas-Geertsen
Venue:In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci