A modular, polyvariant, and type-based closure analysis

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

Active Bibliography

1 Demand-Driven Type Analysis for Dynamically-Typed Functional Languages – Danny Dubé, En Informatique, Danny Dub, Gilles Brassard, Marc Feeley, Matthias Felleisen
1 A Polymorphic Type and Effect System for Detecting Mobile Functions – Z. Dilsun Kirli - 1999
23 Polymorphic Splitting: An Effective Polyvariant Flow Analysis – Andrew K. Wright, Suresh Jagannathan - 1998
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
18 Systematic Realisation of Control Flow Analyses for CML – Kirsten L. Solberg Gasser, Flemming Nielson, Hanne Riis Nielson - 1997
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
11 Faithful Translations between Polyvariant Flows and Polymorphic Types – Torben Amtoft, Ranklyn Turbak - 2000
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
11 Polyvariant Flow Analysis with Constrained Types – Scott F. Smith, Tiejun Wang - 2000
11 Equality-based flow analysis versus recursive types – Jens Palsberg - 1998
10 Practical Soft Typing – Andrew K. Wright - 1994
Polyvariance, Polymorphism and Flow Analysis – Karl-Filip Faxen
1 ILP-based Resource-aware Compilation – Jens Palsberg, Mayur Naik - 2004
Selective and Lightweight Closure Conversion – Paul A. Steckler, MITCHELL WAND - 1996
16 A New Approach to Control Flow Analysis – Pasquale Malacaria, Chris Hankin - 1998
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
32 On the Cubic Bottleneck in Subtyping and Flow Analysis – Nevin Heintze, David Mcallester - 1997