@inproceedings{gmt-pldi-2014,
  author = {Greenman, Ben and Muehlboeck, Fabian and Tate, Ross},
  title = {Getting {F}-Bounded Polymorphism into Shape},
  booktitle = {{PLDI}},
  pages = {89--99},
  doi = {10.1145/2594291.2594308},
  year = {2014}
}