From bounded affine types to automatic timing analysis

Dan R. Ghica, Alex Smith

Bounded linear types have proved to be useful for automated resource analysis and control in functional programming languages. In this paper we introduce an affine bounded linear t…