Global abstraction-safe marshalling with hash types.

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough

Browse the full ICFP paper archive.