Principal Type-Schemes for Functional Programs

Luís Damas, Robin Milner. Principal Type-Schemes for Functional Programs. In POPL. pages 207-212, 1982.

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