Type Specialisation for Imperative Languages (1997)
Cached
Download Links
by
Dirk Dussart
,
John Hughes
,
Peter Thiemann
| Venue: | PROC. INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING |
| Citations: | 9 - 6 self |
BibTeX
@INPROCEEDINGS{Dussart97typespecialisation,
author = {Dirk Dussart and John Hughes and Peter Thiemann},
title = {Type Specialisation for Imperative Languages},
booktitle = {PROC. INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING},
year = {1997},
pages = {204--216},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We extend type specialisation to a computational lambda calculus with first-class references. The resulting specialiser has been used to specialise a self-interpreter for this typed computational lambda calculus optimally. Furthermore, this specialiser can perform operations on references at specialisation time, when possible.
