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]

Abstract

Abstract is missing.