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