1070 search results - page 9 / 214 » Type Classes with Functional Dependencies |
144
Voted
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
102
Voted
QUESTA
2002
15 years 3 months ago
2002
In this paper, we present a performance analysis of a 2-dimensional preemptive priority queueing system with state-dependent arrivals. Using a Markovian formulation we first comput...
123
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of Internet traffic, which severely impacts network performance yielding longer queuing delays. Moreover, LRD is almos...
144
Voted
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
133
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...