Type inference for recursive definitions (1999)

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

Document Versions

Type inference for recursive definitions –Assaf J. Kfoury, Santiago M. Pericás-geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Type inference for recursive definitions –Assaf J. Kfoury, Santiago M. Pericás-geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Type Inference for Recursive Definitions –Assaf J. Kfoury, Santiago M. Pericás-Geertsen — 2000 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Type Inference for Recursive Definitions –Assaf Kfoury, Santiago M. Pericas-Geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Type inference for recursive definitions –Assaf J. Kfoury, Santiago M. Pericás-geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Type Inference for Recursive Definitions –Assaf J. Kfoury, Santiago M. Pericas-Geertsen — 2000