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