%0 Conference Paper %1 conf/icfp/KrishnaswamiTDG12 %A Krishnaswami, Neelakantan R. %A Turon, Aaron %A Dreyer, Derek %A Garg, Deepak %B ICFP %D 2012 %E Thiemann, Peter %E Findler, Robby Bruce %I ACM %K dblp %P 41-54 %T Superficially substructural types. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#KrishnaswamiTDG12 %@ 978-1-4503-1054-3

@inproceedings{conf/icfp/KrishnaswamiTDG12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Krishnaswami, Neelakantan R. and Turon, Aaron and Dreyer, Derek and Garg, Deepak}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/296cd4cf6bd2fda19a8cf0664a018cac6/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2012}, editor = {Thiemann, Peter and Findler, Robby Bruce}, ee = {https://doi.org/10.1145/2364527.2364536}, interhash = {980d38826fdff58bf4d5f554b7cb007c}, intrahash = {96cd4cf6bd2fda19a8cf0664a018cac6}, isbn = {978-1-4503-1054-3}, keywords = {dblp}, pages = {41-54}, publisher = {ACM}, timestamp = {2019-09-27T21:36:01.000+0200}, title = {Superficially substructural types.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#KrishnaswamiTDG12}, year = 2012 }