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

Documents Related by Co-Citation

1134 Term Rewriting and All That – F Baader, T Nipkow - 1998
879 Types and Programming Languages – B C Pierce - 2002
267 Functional Data Structures – Chris Okasaki - 1996
240 Verification by abstract interpretation – Patrick Cousot - 2003
141 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
137 Extensible markup language (XML) 1.0 – T Bray, J Paoli, C M Sperberg-McQueen, E Maler, F Yergeau - 2006
135 XDuce: A Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2000
100 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
98 Polymorphic type schemes and recursive definitions – A Mycroft - 1984
98 The Essence of Principal Typings – J. B. Wells - 2002