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