A Modular, Polyvariant, and Type-Based Closure Analysis

Anindya Banerjee. A Modular, Polyvariant, and Type-Based Closure Analysis. In ICFP. pages 1-10, 1997.

Abstract

Abstract is missing.