2335 search results - page 53 / 467 » Type Checking Type Classes |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
This paper proposes a method for extracting subimages from a huge reference image by using lifting wavelet transforms that map integers to integers. Our integertype lifting wavele...
JAVA
1999
Springer
14 years 1 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...
DLS
2008
13 years 10 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...