4190 search results - page 165 / 838 » Type Class Directives |
123
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
106
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
115
click to vote
EUROGP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
108
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
117
click to vote
USENIX
2003
15 years 5 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...