%0 Conference Paper %1 conf/pldi/PerelmanGBG12 %A Perelman, Daniel %A Gulwani, Sumit %A Ball, Thomas %A Grossman, Dan %B PLDI %D 2012 %E Vitek, Jan %E Lin, Haibo %E Tip, Frank %I ACM %K dblp %P 275-286 %T Type-directed completion of partial expressions. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2012.html#PerelmanGBG12 %@ 978-1-4503-1205-9

@inproceedings{conf/pldi/PerelmanGBG12, added-at = {2024-07-09T00:00:00.000+0200}, author = {Perelman, Daniel and Gulwani, Sumit and Ball, Thomas and Grossman, Dan}, biburl = {https://www.bibsonomy.org/bibtex/28971a215950fe05d877f346dd29e556d/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2012}, editor = {Vitek, Jan and Lin, Haibo and Tip, Frank}, ee = {https://doi.org/10.1145/2345156.2254098}, interhash = {e4633c021bc3a431fb29aaf628f4339a}, intrahash = {8971a215950fe05d877f346dd29e556d}, isbn = {978-1-4503-1205-9}, keywords = {dblp}, pages = {275-286}, publisher = {ACM}, timestamp = {2024-07-15T07:14:02.000+0200}, title = {Type-directed completion of partial expressions.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2012.html#PerelmanGBG12}, year = 2012 }