2 search results - page 1 / 1 » Global abstraction-safe marshalling with hash types |
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
ML
2006
ACM
13 years 10 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...