Global abstraction-safe marshalling with hash types (2003)

by James J. Leifer , Gilles Peskine , Peter Sewell , Keith Wansbrough
Venue:In Proc. 8th ICFP
Citations:46 - 14 self