Luca Boerio

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Stefano Berardi, Luca Boerio
Minimum Information Code in a Pure Functional Language with Data Types. TLCA (1997)
Stefano Berardi, Luca Boerio
Using Subtyping in Program Optimization. TLCA (1995)
Luca Boerio
Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. ESOP (1994)