SEWELL, STOYLE, HICKS, BIERMAN, WANSBROUGH, 2007. Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction 18.. https://doi.org/10.1017/s0956796807006600