180
Voted
ICFP
16 years 5 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...
163
Voted
ICFP
16 years 5 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...
157
Voted
ICFP
16 years 5 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...
149
click to vote
ICFP
16 years 5 months ago
2004 ACM 
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
147
click to vote
ICFP
16 years 5 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