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

by P Sewell, G Stoyle, M Hicks, G M Bierman, K Wansbrough
Venue:The Journal of Functional Programming