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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.