2 search results - page 1 / 1 » Global abstraction-safe marshalling with hash types |
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
132
Voted
ML
2006
ACM
15 years 8 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...