Sciweavers

1828 search results - page 96 / 366
» First-Class Type Classes
Sort
View
94
Voted
ICML
2003
IEEE
16 years 3 months ago
Using Linear-threshold Algorithms to Combine Multi-class Sub-experts
We present a new type of multi-class learning algorithm called a linear-max algorithm. Linearmax algorithms learn with a special type of attribute called a sub-expert. A sub-exper...
Chris Mesterharm
107
Voted
INFSOF
2007
68views more  INFSOF 2007»
15 years 2 months ago
Object-based and class-based composition of transitive mixins
In object-oriented composition, classes and class inheritance are applied to realize type relationships and reusable building blocks. Unfortunately, these two goals might be contr...
Uwe Zdun, Mark Strembeck, Gustaf Neumann
136
Voted
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
16 years 3 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
158
Voted
PADL
2012
Springer
13 years 10 months ago
Virtualizing Real-World Objects in FRP
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
Daniel Winograd-Cort, Hai Liu, Paul Hudak
112
Voted
MPC
2004
Springer
109views Mathematics» more  MPC 2004»
15 years 8 months ago
Optimizing Generic Functions
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
Artem Alimarine, Sjaak Smetsers