Global abstractionsafe marshalling with hash types (2003)

by James Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Venue:ACM SIGPLAN International Conference on Functional Programming (ICFP