Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs (1994)

Cached

Download Links

by Sjaak Smetsers , Erik Barendsen , Marko van Eekelen , Rinus Plasmeijer
Citations:32 - 1 self