A Usage Analysis with Bounded Usage Polymorphism and Subtyping

Jörgen Gustavsson, Josef Svenningsson. A Usage Analysis with Bounded Usage Polymorphism and Subtyping. In Markus Mohnen, Pieter W. M. Koopman, editors, Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Volume 2011 of Lecture Notes in Computer Science, pages 140-157, Springer, 2000. [doi]

Abstract

Abstract is missing.