Cross-platform software
Data types
Program analysis
Type system
Java version history
Type inference
Java
Pointer
Computing
Type theory
Java platform