Another type system for in-place update (0)

by D Aspinall, M Hofmann
Venue:in: Proceedings of the European Symposium on Programming