@inproceedings{JS18_Spine-local,
  author = {Jenkins, Christopher and Stump, Aaron},
  title = {Spine-local Type Inference},
  booktitle = {Proceedings of the 30th Symposium on Implementation and Application of Functional Languages},
  series = {IFL 2018},
  year = 2018,
  isbn = {978-1-4503-7143-8},
  location = {Lowell, MA, USA},
  pages = {37--48},
  numpages = 12,
  url = {http://doi.acm.org/10.1145/3310232.3310233},
  doi = {10.1145/3310232.3310233},
  acmid = 3310233,
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {bidirectional type inference, polymorphism, type errors},
}