Skip to content

A new type system for JVM lock primitives.

Futoshi Iwama, Naoki Kobayashi

VenueCPEPM
Year2002
ProceedingsASIA-PEPM

Browse the full PEPM paper archive.