110
click to vote
ICFP
16 years 13 days ago
2008 ACM 
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
117
Voted
ICFP
16 years 13 days ago
2008 ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
104
click to vote
ICFP
16 years 13 days ago
2008 ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
103
Voted
ICFP
16 years 13 days ago
2008 ACM 
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
136
Voted
ICFP
16 years 13 days ago
2008 ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
|
Programming Languages