Luca Boerio

Minimum Information Code in a Pure Functional Language with Data Types

Stefano Berardi, Luca Boerio, 1997, TLCA.

Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus

Luca Boerio, 1994, ESOP.

Using Subtyping in Program Optimization

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

Extending Pruning Techniques to Polymorphic Second Order ~-Calculus

Luca Boerio, L. Boerio, 2005 .