A type preserving translation of Fickle into Java

Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca. A type preserving translation of Fickle into Java. Electronic Notes in Theoretical Computer Science, 62:69-82, 2001. [doi]

@article{AnconaADDGZ01,
  title = {A type preserving translation of Fickle into Java},
  author = {Davide Ancona and Christopher Anderson and Ferruccio Damiani and Sophia Drossopoulou and Paola Giannini and Elena Zucca},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/119/25/show/Products/notes/index.htt#007},
  tags = {Java, translation},
  researchr = {https://researchr.org/publication/AnconaADDGZ01},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {62},
  pages = {69-82},
}