7 search results - page 1 / 2 » Adding Type Constructor Parameterization to Java |
52
Voted
JOT
2008
14 years 9 months ago
2008
ACTA
2002
14 years 9 months ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
OOPSLA
1997
Springer
15 years 1 months ago
1997
Springer
SAC
2004
ACM
15 years 2 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
105
click to vote
ENTCS
2007
14 years 9 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...