Complexity Analysis in Presence of Control Operators and Higher-Order Functions. - Ugo Dal Lago; Giulio Pellitta (LPAR, 2013)

Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version). - Ugo Dal Lago; Giulio Pellitta (CoRR, 2013)

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control. (Extension de la Complexité Implicite et des Machines Abstraites aux Langues avec Contrôle). - Giulio Pellitta (2014)