@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/}
}