7 citations · 45 across the 22 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
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…
cs.LO2013★ 2 cited
Abstract machines for game semantics, revisited
Olle Fredriksson, Dan R. Ghica
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeti…