Type Inference for Recursive Definitions (2000)

by Assaf J. Kfoury , Santiago M. Pericás-Geertsen
Venue:In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Citations:2 - 1 self