147
click to vote
TLDI
15 years 6 months ago
2003 ACM 
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
TLDI
15 years 6 months ago
2003 ACM 
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
114
click to vote
TLDI
15 years 6 months ago
2003 ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
TLDI
15 years 6 months ago
2003 ACM 109
click to vote
TLDI
15 years 6 months ago
2003 ACM 
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
|
Formal Methods