A modular, polyvariant, and type-based closure analysis

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

Documents Related by Co-Citation

96 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
985 A theory of type polymorphism in programming – Robin Milner - 1978
634 Compiling with Continuations – A Appel - 1992
47 Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems – Stephanus Johannes Van Bakel, Prof M. Dezani-ciancaglini, Voor Mijn Moeder Manuscriptcommissie, Della Rocca - 1993
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
192 Soft typing with conditional types – Er Aiken - 1994
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999