162
click to vote
ICFP
16 years 3 months ago
2004 ACM 
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
144
Voted
ICFP
16 years 3 months ago
2004 ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
138
click to vote
ICFP
16 years 3 months ago
2004 ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
135
Voted
ICFP
16 years 3 months ago
2004 ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
133
Voted
ICFP
16 years 3 months ago
2004 ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
|
Programming Languages