Sciweavers

ICFP
2003
ACM

Global abstraction-safe marshalling with hash types

14 years 3 months ago
Global abstraction-safe marshalling with hash types
James J. Leifer, Gilles Peskine, Peter Sewell, Kei
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2003
Where ICFP
Authors James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Comments (0)