Global abstraction-safe marshalling with hash types (2003)

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