Principal Typing and Mutual Recursion (2001)

by Lucília Figueiredo , Carlos Camarão
Venue:INTERNATIONAL WORKSHOP ON FUNCTIONAL AND LOGIC PROGRAMMING (WFLP 2001)
Citations:2 - 2 self

Active Bibliography

1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
12 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
2 Type Inference for Recursive Definitions – Assaf J. Kfoury, Santiago M. Pericás-Geertsen - 2000
86 The Essence of Principal Typings – J. B. Wells - 2002
4 Implicit Polymorphic Type System for the Blue Calculus – Silvano Dal-Zilio, Silvano Dal-zilio, Projet Meije - 1997
1 Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell – Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão - 2003
45 Type Error Slicing in Implicitly Typed Higher-Order Languages – Christian Haack, J. B. Wells - 2004
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
12 Type Inference and Equational Theories – A. J. Kennedy - 1996
AT DIFFERENT RANKS – Santiago M. Pericas-geertsen, Assaf J. Kfoury, Ph. D, Santiago M. Pericas-geertsen - 1999
2 Rank 2 types for term graph rewriting – Steffen Van Bakel - 2003
4 Rank 2 Types for Term Graph Rewriting (Extended Abstract) – Steffen van Bakel
3 Rank-2 Intersection and Polymorphic Recursion – Ferruccio Damiani - 2005
6 Programming Examples Needing Polymorphic Recursion – J. J. Hallett, A. J. Kfoury - 2004
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
3 Rank 2 Intersection Types for Modules (Version with conclusions and appendices of [11]) – Ferruccio Damiani
7 Rank 2 Intersection Types for Modules – Ferruccio Damiani - 2003
26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003