Sign in
Global abstraction-safe marshalling with hash types.
Peter Sewell
James J. Leifer
Keith Wansbrough
Gilles Peskine
Published in:
SIGPLAN Notices (2003)
Keyphrases
</>