publications:
- title: "Principal Type-Schemes for Functional Programs"
  author:
  - name: "Luís Damas"
    link: "https://researchr.org/alias/lu%C3%ADs-damas"
  - name: "Robin Milner"
    link: "https://researchr.org/alias/robin-milner"
  year: "1982"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/DamasM82"
  cites: 0
  citedby: 1
  pages: "207-212"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "DamasM82"