%0 Conference Paper %1 conf/icfp/TuronDB13 %A Turon, Aaron %A Dreyer, Derek %A Birkedal, Lars %B ICFP %D 2013 %E Morrisett, Greg %E Uustalu, Tarmo %I ACM %K dblp %P 377-390 %T Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2013.html#TuronDB13 %@ 978-1-4503-2326-0

@inproceedings{conf/icfp/TuronDB13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Turon, Aaron and Dreyer, Derek and Birkedal, Lars}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24905249fa21cd76a77e06fdd823855ce/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2013}, editor = {Morrisett, Greg and Uustalu, Tarmo}, ee = {https://doi.org/10.1145/2500365.2500600}, interhash = {f6edd09aae6c119266f88b93c101cc99}, intrahash = {4905249fa21cd76a77e06fdd823855ce}, isbn = {978-1-4503-2326-0}, keywords = {dblp}, pages = {377-390}, publisher = {ACM}, timestamp = {2019-09-27T21:36:24.000+0200}, title = {Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2013.html#TuronDB13}, year = 2013 }