L. Boerio

Extending Pruning Techniques to Polymorphic Second Order ~-Calculus

Luca Boerio, L. Boerio, 2005 .

Using Subtyping in Program Optimization

Stefano Berardi, Luca Boerio, S. Berardi, 1995, TLCA.