%0 Conference Paper %1 conf/oopsla/TardieuNPS12 %A Tardieu, Olivier %A Nystrom, Nathaniel %A Peshansky, Igor %A Saraswat, Vijay A. %B OOPSLA %D 2012 %E Leavens, Gary T. %E Dwyer, Matthew B. %I ACM %K dblp %P 811-830 %T Constrained kinds. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#TardieuNPS12 %@ 978-1-4503-1561-6

@inproceedings{conf/oopsla/TardieuNPS12, added-at = {2021-06-24T00:00:00.000+0200}, author = {Tardieu, Olivier and Nystrom, Nathaniel and Peshansky, Igor and Saraswat, Vijay A.}, biburl = {https://www.bibsonomy.org/bibtex/22d73340261a62bbaeba48a7aff0ece20/dblp}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2012}, editor = {Leavens, Gary T. and Dwyer, Matthew B.}, ee = {https://doi.org/10.1145/2398857.2384675}, interhash = {80a9386011c862ff5cd3f424141712f3}, intrahash = {2d73340261a62bbaeba48a7aff0ece20}, isbn = {978-1-4503-1561-6}, keywords = {dblp}, pages = {811-830}, publisher = {ACM}, timestamp = {2024-04-09T11:46:11.000+0200}, title = {Constrained kinds.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#TardieuNPS12}, year = 2012 }