Views: compositional reasoning for concurrent programs.

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang

Browse the full POPL paper archive.