Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.
Peter Sewell, Gareth Paul Stoyle, Michael Hicks 0001, Gavin M. Bierman, Keith Wansbrough
01 September 2008
Venue : J. Funct. Program.
External Link: https://doi.org/10.1017/S0956796807006600