Iris from the ground up: A modular foundation for higher-order concurrent separation logic 论文
2018Journal of Functional Programming引用 358
Security and Verification in ComputingLogic, programming, and type systemsDistributed systems and fault tolerance