@misc{W2166822586,
  author = {Robin Milner},
  title = {A theory of type polymorphism in programming},
  year = {1978},
  howpublished = {Journal of Computer and System Sciences},
  doi = {https://doi.org/10.1016/0022-0000(78)90014-4}
}