Dynamic rebinding for marshalling and update, with destruct-time (2003)

by Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Venue:In Proc. ICFP 2003