Logical bytecode reduction.

Christian Gram Kalhauge, Jens Palsberg

Browse the full PLDI paper archive.