@inproceedings{shapes, author = {Greenman, Ben and Muehlboeck, Fabian and Tate, Ross}, title = {Getting F-Bounded Polymorphism into Shape}, booktitle = {{PLDI} '14: Proceedings of the 2014 {ACM} {SIGPLAN} conference on Programming Language Design and Implementation}, year = {2014}, location = {Edinburgh, Scotland}, publisher = {{ACM}}, address = {New York, NY, USA}, doi = {http://dx.doi.org/10.1145/2594291.2594308}, url = {http://www.cs.cornell.edu/~ross/publications/shapes/} }