1828 search results - page 89 / 366 » First-Class Type Classes |
105
Voted
WER
1999
Springer
15 years 6 months ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
124
Voted
AFP
1995
Springer
15 years 6 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
211
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
113
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we consider single-source, single-sink (ss-ss) multi-hop relay networks, with slow-fading Rayleigh links and single-antenna relay nodes operating under the half-dupl...
124
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...