Skip to content

A Type System for Java Bytecode Subroutines.

Raymie Stata, Martn Abadi

VenueA*POPL
Year1998
ProceedingsPOPL

Browse the full POPL paper archive.