Linear explicit substitutions (extended abstract (1998)
by
Neil Ghani
,
Valeria Paiva
,
Eike Ritter
| Venue: | In Proceedings of WESTAPP'98 |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Ghani98linearexplicit,
author = {Neil Ghani and Valeria Paiva and Eike Ritter},
title = {Linear explicit substitutions (extended abstract},
booktitle = {In Proceedings of WESTAPP'98},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The-calculus [1] adds explicit substitutions to the-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the-calculus to provide a linear calculus of explicit substitutions which analogously describes the implementation of linear functional programming languages. 1
