On the recursive generation of parametric types

Abstract

For efficiency reasons, the typical implementations of parametric polymorphism in modern languages are built so as to prepare all the information about the instantiations of the parametric types an application use before its actual execution. In some situations however, a program may recursively refer an infinite set of such instantiations, causing the… (More)

Topics

2 Figures and Tables

Slides referencing similar topics