Luca Boerio

According to our database¹, Luca Boerio authored at least 3 papers between 1994 and 1997.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1997

Minimum Information Code in a Pure Functional Language with Data Types.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1997

1995

Using Subtyping in Program Optimization.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994