Uniqueness typing for functional languages with graph rewriting semantics (1995)

by E Barendsen, S Smetsers
Venue:Mathematical Structures in Computer Science 6