Type-Driven Defunctionalization

Jeffrey M. Bell, Françoise Bellegarde, James Hook. Type-Driven Defunctionalization. In ICFP. pages 25-37, 1997.

Abstract

Abstract is missing.