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

by Martin Hofmann
Venue:Nordic Journal of Computing, 7(4):258–289, Autumn