9787 search results - page 1725 / 1958 » A Utile Function Optimizer |
195
click to vote
ICFP
2008
ACM
16 years 6 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 ...
172
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
196
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
203
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Routing in multi-hop wireless networks is typically greedy, with every connection attempting to establish a path that minimizes its number of hops. However, interference plays a m...
164
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The European project COMSON (Coupled Multiscale Simulation and Optimization in Nanoelectronics) is a Marie Curie RTN project that involves five partners from academia and three fr...