Giulio Pellitta

Complexity Analysis in Presence of Control Operators and Higher-Order Functions

Ugo Dal Lago, Giulio Pellitta, Giulio Pellitta, 2013, LPAR.

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 .

An Implementation of Lambda Calculus on Graphic Cards — Abstract

Giulio Pellitta, Marco Pedicini, M. Pedicini, 2010 .

New Results - Resource Control and Probabilities

Ugo Dal Lago, Davide Sangiorgi, Simone Martini, 2015 .