8141 search results - page 1571 / 1629 » Higher Order Generalization |
113
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
134
Voted
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
113
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...
111
Voted
MOBICOM
2010
ACM
15 years 3 months ago
2010
ACM
Mobile devices face a diverse and dynamic set of networking options. Using those options to the fullest requires knowledge of application intent. This paper describes Intentional ...
116
Voted
MOBICOM
2010
ACM
15 years 3 months ago
2010
ACM
In 802.11 managed wireless networks, the manager can address under-served links by rate-limiting the conflicting nodes. In order to determine to what extent each conflicting node ...