% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/tud-pl-seminar-programming-languages-2017/compact

@inproceedings{DamasM82,
  title = {Principal Type-Schemes for Functional Programs},
  author = {Luís Damas and Robin Milner},
  year = {1982},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/DamasM82},
  cites = {0},
  citedby = {1},
  pages = {207-212},
  booktitle = {POPL},
}