4190 search results - page 189 / 838 » Type Class Directives |
136
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
114
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
122
Voted
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
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...
157
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
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 ...
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...