A modular, polyvariant, and type-based closure analysis

by Anindya Banerjee
Venue:In ICFP ’97 [ICFP97
Citations:54 - 1 self

Documents Related by Co-Citation

94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
47 Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems – S van Bakel - 1993
48 Control-Flow Analysis and Type Systems – Nevin Heintze - 1995
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
187 Soft typing with conditional types – Er Aiken - 1994
16 Inference of Polymorphic and Conditional Strictness Properties – Thomas P. Jensen - 1998
16 Type reconstruction in Fω – P Urzyczyn - 1997
939 A theory of type polymorphism in programming – Robin Milner - 1978
86 Polymorphic Type Inference – D Leivant - 1983
27 A complete type inference algorithm for simple intersection types – M Coppo, P Giannini - 1992
234 Principal type schemes for functional programs – R Milner - 1982
59 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
30 Principal type scheme and unification for intersection type discipline – S Ronchi Della Rocca - 1988
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
625 Compiling With Continuations – A W Appel - 1992
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993