Dynamic rebinding for marshalling and update, with destruct-time?

Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough

Browse the full ICFP paper archive.