%0 Conference Paper %1 conf/popl/AikenG98 %A Aiken, Alexander %A Gay, David %B POPL %D 1998 %E MacQueen, David B. %E Cardelli, Luca %I ACM %K dblp %P 342-354 %T Barrier Inference. %U http://dblp.uni-trier.de/db/conf/popl/popl98.html#AikenG98 %@ 0-89791-979-3

@inproceedings{conf/popl/AikenG98, added-at = {2018-11-06T00:00:00.000+0100}, author = {Aiken, Alexander and Gay, David}, biburl = {https://www.bibsonomy.org/bibtex/261ce86693c8b36c9716fa4d70cf61262/dblp}, booktitle = {POPL}, crossref = {conf/popl/1998}, editor = {MacQueen, David B. and Cardelli, Luca}, ee = {https://doi.org/10.1145/268946.268974}, interhash = {2217f7cde6ee569cc69db0d11d4e1673}, intrahash = {61ce86693c8b36c9716fa4d70cf61262}, isbn = {0-89791-979-3}, keywords = {dblp}, pages = {342-354}, publisher = {ACM}, timestamp = {2018-11-07T15:44:22.000+0100}, title = {Barrier Inference.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl98.html#AikenG98}, year = 1998 }