7 search results - page 1 / 2 » Adding Type Constructor Parameterization to Java |
JOT
2008
13 years 4 months ago
2008
ACTA
2002
13 years 4 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
13 years 9 months ago
1997
Springer
SAC
2004
ACM
13 years 10 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...
ENTCS
2007
13 years 4 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...