Sciweavers

2233 search results - page 163 / 447
» Modular type classes
Sort
View
ICASSP
2011
IEEE
14 years 8 months ago
Stereo audio classification for audio enhancement
Stereo audio enhancement and upmixing techniques require spatial analysis of the mixture in order to work optimally for different types of contents. In this paper a method is prop...
Aki Harma
ICFP
2006
ACM
16 years 5 months ago
Good advice for type-directed programming aspect-oriented programming and extensible generic functions
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
Geoffrey Washburn, Stephanie Weirich
ECOOP
2012
Springer
13 years 7 months ago
Object Initialization in X10
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
Yoav Zibin, David Cunningham, Igor Peshansky, Vija...
128
Voted
INFOCOM
1998
IEEE
15 years 9 months ago
How Bad is Reliable Multicast without Local Recovery?
We examine the impact of the loss recovery mechanism on the performance of a reliable multicast protocol. Approaches to reliable multicast can be divided into two major classes: s...
Jörg Nonnenmacher, Martin S. Lacher, Matthias...
PEPM
1994
ACM
15 years 9 months ago
Dictionary-Free Overloading by Partial Evaluation
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
Mark P. Jones