Uniqueness Typing for Functional Languages with Graph Rewriting Semantics (1996)
by
Erik Barendsen
,
Sjaak Smetsers
| Venue: | Mathematical Structures in Computer Science |
| Citations: | 34 - 3 self |
BibTeX
@INPROCEEDINGS{Barendsen96uniquenesstyping,
author = {Erik Barendsen and Sjaak Smetsers},
title = {Uniqueness Typing for Functional Languages with Graph Rewriting Semantics},
booktitle = {Mathematical Structures in Computer Science},
year = {1996},
pages = {579--612}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is an elaborated version of the work presented in Barendsen and Smetsers (1995a) and Barendsen and Smetsers (1995c). 2. Term graph rewriting
