Global abstraction-safe marshalling with hash types.

James J. Leifer Gilles Peskine Peter Sewell Keith Wansbrough Global abstraction-safe marshalling with hash types. 87-98 2003 conf/icfp/2003 ICFP http://doi.acm.org/10.1145/944705.944714 db/conf/icfp/icfp2003.html#LeiferPSW03