Faithful Ideal Models for Recursive Polymorphic Types

@article{Abadi1991FaithfulIM,
  title={Faithful Ideal Models for Recursive Polymorphic Types},
  author={Mart{\'i}n Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
  journal={Int. J. Found. Comput. Sci.},
  year={1991},
  volume={2},
  pages={1-21}
}
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.