C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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