Global abstraction-safe marshalling with hash types (2003)

by James J Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Venue:In Proc. 8th ICFP