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

Roversi:1992-ICTCS (In proceedings)
Author(s) Luca Roversi
Title« A compiler from Curry-typed λ-terms to linear-λ-terms »
InTheoretical Computer Science: Proceedings of the Fourth Italian Conference
Page(s)330 -- 344
Year1992
PublisherWorld Scientific
AddressL'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},
  address = {L'Aquila (Italy)},
  publisher = {World Scientific},
  year = {1992},
  pages = {330 -- 344},
}


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

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!