Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.

Peter Sewell Gareth Stoyle Michael Hicks Gavin M. Bierman Keith Wansbrough Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. 437-502 2008 18 J. Funct. Program. 4 http://dx.doi.org/10.1017/S0956796807006600 db/journals/jfp/jfp18.html#SewellSHBW08