642 search results - page 1 / 129 » Once Upon a Type |
FPCA
1995
13 years 8 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
CHI
2009
ACM
14 years 5 months ago
2009
ACM
Nuno Tom?s Daniel Gon?alves With the growing volume of digital information users must deal with, management and retrieval tasks have become increasingly problematic. A popular way ...
OPODIS
2008
13 years 6 months ago
2008
Abstract Nowadays, most of the energy-aware real-time scheduling algorithms belong to the DVFS (Dynamic Voltage and Frequency Scaling) framework. These DVFS algorithms are usually ...
ECTEL
2006
Springer
13 years 6 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
DIAGRAMS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper explores factors associated with effective external representation (ER) use. We describe an information-processing approach to the assessment of ER knowledge. ...