A type system for bounded space and functional in-place update– extended abstract (2000)

by Martin Hofmann
Venue:In Proceedings of the 9th European Symposium on Programming Languages and Systems, ESOP ’00