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

by Christoph A Herrmann, Christian Lengauer
Venue:Programming Languages and Systems (ESOP 2000), Lecture Notes in Computer Science 1782