Eekelen M., Plasmeijer R.: Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs (0)

by S Smetsers, E Barendsen, van
Venue:In Proc. of Graph Transformations in Computers Science, International Workshop, Dagstuhl