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

Active Bibliography

Type Inference with Recursive Types AT DIFFERENT RANKS – Santiago M. Pericas-Geertsen - 1999
Type Inference with Recursive Types at Different Ranks – Assaf J. Kfoury, Ph. D, Santiago M. Pericas-Geertsen, Santiago M. Pericas-geertsen - 1994
137 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
93 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
and – Michele Bugliesi, Santiago M. Pericás-geertsen
663 An Efficient Context-Free Parsing Algorithm – Jay Earley - 1970
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
944 A theory of type polymorphism in programming – Robin Milner - 1978