Global abstraction-safe marshalling with hash types.

James J. Leifer Gilles Peskine Peter Sewell Keith Wansbrough

Published in: ICFP (2003)

Keyphrases

high level
data structure
hash functions