ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages.

Filip Sieczkowski, Ales Bizjak, Lars Birkedal

Browse the full ITP paper archive.