Martín Abadi, Luca Cardelli, Pierre-Louis Curien. Formal Parametric Polymorphism. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 157-170, 1993.
@inproceedings{AbadiCC93:0,
title = {Formal Parametric Polymorphism},
author = {Martín Abadi and Luca Cardelli and Pierre-Louis Curien},
year = {1993},
researchr = {https://researchr.org/publication/AbadiCC93%3A0},
cites = {0},
citedby = {0},
pages = {157-170},
booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}