Skip to content

A Simple, Comprehensive Type System for Java Bytecode Subroutines.

Robert O'Callahn

VenueA*POPL
Year1999
ProceedingsPOPL

Browse the full POPL paper archive.