**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. |

```
@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)