2335 search results - page 175 / 467 » Type Checking Type Classes |
152
Voted
TOPLAS
2002
15 years 1 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
105
click to vote
INFOCOM
1998
IEEE
15 years 6 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...
141
click to vote
PEPM
1994
ACM
15 years 6 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 ...
123
click to vote
ENTCS
2006
15 years 2 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,...
88
Voted
JFP
2008
15 years 2 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...