most citedFrom bounded affine types to automatic timing analysis

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2013★ 5 cited

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…