and Sjaak Smetsers. Uniqueness typing for functional languages with graph rewriting semantics (1996)

by Erik Barendsen
Venue:Mathematical Structures in Computer Science