Global abstraction-safe marshalling with hash types

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. Global abstraction-safe marshalling with hash types. SIGPLAN Notices, 38(9):87-98, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.