Method Inlining, Dynamic Class Loading, and Type Soundness

Neal Glew, Jens Palsberg. Method Inlining, Dynamic Class Loading, and Type Soundness. Journal of Object Technology, 4(8):33-53, 2005. [doi]

@article{GlewP05,
  title = {Method Inlining, Dynamic Class Loading, and Type Soundness},
  author = {Neal Glew and Jens Palsberg},
  year = {2005},
  url = {http://www.jot.fm/issues/issue_2005_10/article2},
  tags = {type soundness},
  researchr = {https://researchr.org/publication/GlewP05},
  cites = {0},
  citedby = {0},
  journal = {Journal of Object Technology},
  volume = {4},
  number = {8},
  pages = {33-53},
}