Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes
No abstract available.
Related papers
- Semantic Analysis of Virtual Classes and Tested Classes OOPSLA 1999
- Classification of Actions, or Inheritance also for Methods ECOOP 1987
- Virtual Classes and Their Implementation CC 2001
- Compatible Genericity with Run-Time Types for the Java Programming Language OOPSLA 1998
- Parameterized Types for Java POPL 1997
- Dependent classes OOPSLA 2007
- Type-checking multi-parameter type classes JFP 2002
- Two-level types and parameterized modules JFP 2004