@inproceedings{gmt-pldi-2014, author = {Greenman, Ben and Muehlboeck, Fabian and Tate, Ross}, title = {Getting F-Bounded Polymorphism into Shape}, booktitle = {{PLDI}}, year = {2014}, pages = {89--99}, doi = {http://dx.doi.org/10.1145/2594291.2594308}, url = {http://www.cs.cornell.edu/~ross/publications/shapes/} }