Skip to content

Type Systems for Concurrent Calculi (Abstract).

Benjamin C. Pierce

VenueBCONCUR
Year1998
ProceedingsCONCUR

Browse the full CONCUR paper archive.