Guaranteeing safe destructive updates through a type system with uniqueness information for graphs

DOI10.1007/3-540-57787-4_23zbMath1494.68124OpenAlexW2155397441MaRDI QIDQ5096293

R. Plasmeijer, Marko van Eekelen, Sjaak Smetsers, Erik Barendsen

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/107655

Mathematics Subject Classification ID

Searching and sorting (68P10) Grammars and rewriting systems (68Q42)

Related Items (1)

Linearity and uniqueness: an entente cordiale

Cites Work

• A theory of type polymorphism in programming

This page was built for publication: Guaranteeing safe destructive updates through a type system with uniqueness information for graphs