Full Abstraction for First-Order Objects with Recursive Types and Subtyping

@inproceedings{Viswanathan1998FullAF,
  title={Full Abstraction for First-Order Objects with Recursive Types and Subtyping},
  author={Ramesh Viswanathan},
  booktitle={LICS},
  year={1998}
}
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.