Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 358-379
- https://doi.org/10.1007/3-540-57787-4_23
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003