Sign in

Modules, abstract types, and distributed versioning.

Peter Sewell
Published in: POPL (2001)
Keyphrases