Dynamic rebinding for marshalling and update, with destruct-time λ (2004)

by G Bierman, M Hicks, P Sewell, G Stoyle, K Wansbrough
Venue:Intl. Conf. on Functional Programming 2003