Skip to content

Modules, abstract types, and distributed versioning.

Peter Sewell

VenueA*POPL
Year2001
ProceedingsPOPL

Browse the full POPL paper archive.