First-Class Polymorphism for ML

@inproceedings{Kahrs1994FirstClassPF,
  title={First-Class Polymorphism for ML},
  author={Stefan Kahrs},
  booktitle={ESOP},
  year={1994}
}