160
Voted
TLDI
15 years 7 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...
101
Voted
TLDI
15 years 7 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...
120
click to vote
TLDI
15 years 7 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...
83
Voted
TLDI
15 years 7 months ago
2003 ACM 119
Voted
TLDI
15 years 7 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