Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. - Luca Boerio (ESOP, 1994)

Using Subtyping in Program Optimization. - Stefano Berardi; Luca Boerio (TLCA, 1995)

Minimum Information Code in a Pure Functional Language with Data Types. - Stefano Berardi; Luca Boerio (TLCA, 1997)