A type preserving translation of Fickle into Java. Ancona, D., Anderson, C., Damiani, F., Drossopoulou, S., Giannini, P., & Zucca, E. In Lenisa, M. & Miculan, M., editors, Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, volume 62, of Electronic Notes in Theoretical Computer Science, pages 69–82, 2001. Elsevier.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}