@inproceedings{DBLP:journals/entcs/AnconaADDGZ01,
  author       = {Davide Ancona and
                  Christopher Anderson and
                  Ferruccio Damiani and
                  Sophia Drossopoulou and
                  Paola Giannini and
                  Elena Zucca},
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {A type preserving translation of Fickle into Java},
  booktitle    = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
                  Udine, Italy, November 19-21, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {62},
  pages        = {69--82},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00320-2},
  doi          = {10.1016/S1571-0661(04)00320-2},
  timestamp    = {Wed, 30 Nov 2022 12:15:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AnconaADDGZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ggpxCoxkDXvkguoXu","bibbaseid":"ancona-anderson-damiani-drossopoulou-giannini-zucca-atypepreservingtranslationoffickleintojava-2001","author_short":["Ancona, D.","Anderson, C.","Damiani, F.","Drossopoulou, S.","Giannini, P.","Zucca, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Anderson"],"suffixes":[]},{"firstnames":["Ferruccio"],"propositions":[],"lastnames":["Damiani"],"suffixes":[]},{"firstnames":["Sophia"],"propositions":[],"lastnames":["Drossopoulou"],"suffixes":[]},{"firstnames":["Paola"],"propositions":[],"lastnames":["Giannini"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"editor":[{"firstnames":["Marina"],"propositions":[],"lastnames":["Lenisa"],"suffixes":[]},{"firstnames":["Marino"],"propositions":[],"lastnames":["Miculan"],"suffixes":[]}],"title":"A type preserving translation of Fickle into Java","booktitle":"Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001","series":"Electronic Notes in Theoretical Computer Science","volume":"62","pages":"69–82","publisher":"Elsevier","year":"2001","url":"https://doi.org/10.1016/S1571-0661(04)00320-2","doi":"10.1016/S1571-0661(04)00320-2","timestamp":"Wed, 30 Nov 2022 12:15:34 +0100","biburl":"https://dblp.org/rec/journals/entcs/AnconaADDGZ01.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/entcs/AnconaADDGZ01,\n author = {Davide Ancona and\n Christopher Anderson and\n Ferruccio Damiani and\n Sophia Drossopoulou and\n Paola Giannini and\n Elena Zucca},\n editor = {Marina Lenisa and\n Marino Miculan},\n title = {A type preserving translation of Fickle into Java},\n booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,\n Udine, Italy, November 19-21, 2001},\n series = {Electronic Notes in Theoretical Computer Science},\n volume = {62},\n pages = {69--82},\n publisher = {Elsevier},\n year = {2001},\n url = {https://doi.org/10.1016/S1571-0661(04)00320-2},\n doi = {10.1016/S1571-0661(04)00320-2},\n timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/AnconaADDGZ01.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Anderson, C.","Damiani, F.","Drossopoulou, S.","Giannini, P.","Zucca, E."],"editor_short":["Lenisa, M.","Miculan, M."],"key":"DBLP:journals/entcs/AnconaADDGZ01","id":"DBLP:journals/entcs/AnconaADDGZ01","bibbaseid":"ancona-anderson-damiani-drossopoulou-giannini-zucca-atypepreservingtranslationoffickleintojava-2001","role":"author","urls":{"Paper":"https://doi.org/10.1016/S1571-0661(04)00320-2"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/z/EZucca.bib","dataSources":["NhBqgkX23MS7AZK7a","hbmDF3mowSFP7RzLi"],"keywords":[],"search_terms":["type","preserving","translation","fickle","java","ancona","anderson","damiani","drossopoulou","giannini","zucca"],"title":"A type preserving translation of Fickle into Java","year":2001}