Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction (2008)

by Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, Keith Wansbrough
Venue:Journal of Functional Programming