Login / Signup
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.
Peter Sewell
Gareth Paul Stoyle
Michael Hicks
Gavin M. Bierman
Keith Wansbrough
Published in:
J. Funct. Program. (2008)
Keyphrases
</>
dynamically updated
dynamic environments
dynamically changing
data sets
genetic algorithm
case study
three dimensional
cooperative
digital libraries
data analysis
management system
highly dynamic