Publications

2 results at Higher-Order and Symbolic Computation

Formalization and analysis of class loading in Java
- - Akihiko Tozawa
  - Masami Hagiya
- 2002
- Higher-Order and Symbolic Computation
Optimal representations of polymorphic types with subtyping
- - Alexander Aiken
  - Edward L. Wimmers
  - et al.
- 1999
- Higher-Order and Symbolic Computation

Formalization and analysis of class loading in Java