Modular reasoning about concurrent higher-order imperative programs

Lars Birkedal
2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14  
doi:10.1145/2535838.2537849 dblp:conf/popl/Birkedal14 fatcat:hjgtj3khsfg2zk766px2gexvaq