Modular reasoning about concurrent higher-order imperative programs.

Lars Birkedal

Browse the full POPL paper archive.