%0 Conference Paper %1 conf/fsttcs/PingaliE88 %A Pingali, Keshav %A Ekanadham, Kattamuri %B FSTTCS %D 1988 %E Nori, Kesav V. %E Kumar, Sanjeev %I Springer %K dblp %P 377-399 %T Accumulators: A New Logic Variable Abstractions for Functional Languages. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs88.html#PingaliE88 %V 338 %@ 3-540-50517-2

@inproceedings{conf/fsttcs/PingaliE88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Pingali, Keshav and Ekanadham, Kattamuri}, biburl = {https://www.bibsonomy.org/bibtex/24b5b1369756a465f78c68e84ef06c955/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1988}, editor = {Nori, Kesav V. and Kumar, Sanjeev}, ee = {https://doi.org/10.1007/3-540-50517-2_92}, interhash = {7f8c3096160bf5b0813c45ec1e821936}, intrahash = {4b5b1369756a465f78c68e84ef06c955}, isbn = {3-540-50517-2}, keywords = {dblp}, pages = {377-399}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:46.000+0200}, title = {Accumulators: A New Logic Variable Abstractions for Functional Languages.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs88.html#PingaliE88}, volume = 338, year = 1988 }