Roversi:1992-ICTCS (In proceedings)
|
Author(s) | Luca Roversi |
Title | « A compiler from Curry-typed -terms to linear--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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)