Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) (1993)

Cached

Download Links

by Erik Barendsen , Sjaak Smetsers
Venue:In Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science
Citations:69 - 5 self

Document Versions

Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) –Erik Barendsen, Sjaak Smetsers — 1993 — In Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science
Conventional and Uniqueness Typing in Graph Rewrite Systems –Erik Barendsen, Sjaak Smetsers — 1993