Genericity in Java with Virtual Types
No abstract available.
DOI 10.1007/bfb0053390
Related papers
- Compatible Genericity with Run-Time Types for the Java Programming Language OOPSLA 1998
- Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing CGO 2006
- Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines PLDI 1998
- Dynamics Class Loading in the Java Virtual Machine OOPSLA 1998
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006
- Generalized algebraic data types and object-oriented programming OOPSLA 2005
- Parameterized Types for Java POPL 1997
- OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler JFP 2016