Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 Roversi:1992-ICTCS (In proceedings) Author(s) Luca Roversi Title « A compiler from Curry-typed $\lambda$-terms to linear-$\lambda$-terms » In Theoretical Computer Science: Proceedings of the Fourth Italian Conference Page(s) 330 -- 344 Year 1992 Publisher World Scientific Address L'Aquila (Italy)
 Abstract Given the lambda terms admitting Curry types as a source language, and considered the implicative fragment of the linear lambda terms as an object language, we define a compiler from the first to the second language exclusively driven by the structure of the proof which gives a type to a source program. The object (linear) program obtained can be evaluated by an extensive application of an eager-evaluation strategy.

 BibTeX code

@inproceedings{Roversi:1992-ICTCS,
month = {October},
author = {Roversi, Luca},
booktitle = {Theoretical Computer Science: Proceedings of the Fourth Italian
Conference},
abstract = {Given the lambda terms admitting Curry types as a source language,
and considered the implicative fragment of the linear lambda terms
as an object language, we define a compiler from the first to the
second language exclusively driven by the structure of the proof
which gives a type to a source program. The object (linear)
program obtained can be evaluated by an extensive application of
an eager-evaluation strategy.},
title = {A compiler from {C}urry-typed $\lambda$-terms to
linear-$\lambda$-terms},
}