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

DOI10.1007/3-540-57787-4_23MaRDI QIDQ5096293zbMATH OpenOpenAlexFDO

Authors Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer

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)

Recommendations

• scientific article; zbMATH DE number 969070
• scientific article; zbMATH DE number 2080217
• A general framework for types in graph rewriting
• scientific article; zbMATH DE number 1231477
• Uniqueness Typing Redefined

Cites work

• A theory of type polymorphism in programming

Cited in

(5)

• Uniqueness Typing Redefined
• scientific article; zbMATH DE number 969070 (Why is no real title available?)
• Linearity and uniqueness: an entente cordiale
• The functional machine calculus
• A two-level linear dependent type theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096293)