%0 Conference Paper %1 conf/popl/Wand93 %A Wand, Mitchell %B POPL %D 1993 %E Deusen, Mary S. Van %E Lang, Bernard %I ACM Press %K dblp %P 137-143 %T Specifying the Correctness of Binding-Time Analysis. %U http://dblp.uni-trier.de/db/conf/popl/popl93.html#Wand93 %@ 0-89791-560-7

@inproceedings{conf/popl/Wand93, added-at = {2018-11-06T00:00:00.000+0100}, author = {Wand, Mitchell}, biburl = {https://www.bibsonomy.org/bibtex/2820be338fc615596402b9c762d0380fb/dblp}, booktitle = {POPL}, crossref = {conf/popl/1993}, editor = {Deusen, Mary S. Van and Lang, Bernard}, ee = {https://doi.org/10.1145/158511.158614}, interhash = {158422f543ef48c05ee2d67adcd10363}, intrahash = {820be338fc615596402b9c762d0380fb}, isbn = {0-89791-560-7}, keywords = {dblp}, pages = {137-143}, publisher = {ACM Press}, timestamp = {2018-11-07T15:44:04.000+0100}, title = {Specifying the Correctness of Binding-Time Analysis.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl93.html#Wand93}, year = 1993 }