Another Type System for in-Place Update (2002)

Cached

Download Links

by David Aspinall , Martin Hofmann
Citations:36 - 7 self