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
Citations:3 - 0 self