Is the Java Type System Sound? - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid. Is the Java Type System Sound?. TAPOS, 5(1):3-24, 1999.

@article{DrossopoulouEK99,
  title = {Is the Java Type System Sound?},
  author = {Sophia Drossopoulou and Susan Eisenbach and Sarfraz Khurshid},
  year = {1999},
  tags = {Java, type soundness, type system},
  researchr = {https://researchr.org/publication/DrossopoulouEK99},
  cites = {0},
  citedby = {0},
  journal = {TAPOS},
  volume = {5},
  number = {1},
  pages = {3-24},
}

runs on WebDSL