Semi-Explicit First-Class Polymorphism for ML

Jacques Garrigue, Didier Rémy. Semi-Explicit First-Class Polymorphism for ML. Inf. Comput., 155(1-2):134-169, 1999.

@article{GarrigueR99,
  title = {Semi-Explicit First-Class Polymorphism for ML},
  author = {Jacques Garrigue and Didier Rémy},
  year = {1999},
  researchr = {https://researchr.org/publication/GarrigueR99},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {155},
  number = {1-2},
  pages = {134-169},
}