Java bytecode as a typed term calculus.

Tomoyuki Higuchi, Atsushi Ohori

Browse the full PPDP paper archive.