%0 Conference Paper %1 conf/aplas/SridharSS08 %A Sridhar, Swaroop %A Shapiro, Jonathan S. %A Smith, Scott F. %B APLAS %D 2008 %E Ramalingam, G. %I Springer %K dblp %P 290-306 %T Sound and Complete Type Inference for a Systems Programming Language. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2008.html#SridharSS08 %V 5356 %@ 978-3-540-89329-5

@inproceedings{conf/aplas/SridharSS08, added-at = {2017-12-21T00:00:00.000+0100}, author = {Sridhar, Swaroop and Shapiro, Jonathan S. and Smith, Scott F.}, biburl = {https://www.bibsonomy.org/bibtex/24cf745c172c7552a56ae10ebbbc5d9d1/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2008}, editor = {Ramalingam, G.}, ee = {https://doi.org/10.1007/978-3-540-89330-1_21}, interhash = {054e171f30b892554b40014fb1904da3}, intrahash = {4cf745c172c7552a56ae10ebbbc5d9d1}, isbn = {978-3-540-89329-5}, keywords = {dblp}, pages = {290-306}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:41:50.000+0200}, title = {Sound and Complete Type Inference for a Systems Programming Language.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2008.html#SridharSS08}, volume = 5356, year = 2008 }