129
click to vote
ICFP
16 years 2 months 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 ...
128
click to vote
ICFP
16 years 2 months 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 ...
127
click to vote
ICFP
16 years 2 months 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...
119
click to vote
ICFP
16 years 2 months 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...
151
click to vote
ICFP
16 years 2 months 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