130
click to vote
TLDI
15 years 6 months ago
2005 ACM 
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
83
Voted
TLDI
15 years 6 months ago
2005 ACM 
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
120
click to vote
TLDI
15 years 6 months ago
2005 ACM 
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
70
Voted
TLDI
15 years 6 months ago
2005 ACM  101
Voted
TLDI
15 years 6 months ago
2005 ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
|
Formal Methods