Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
Owens, Scott (2008) A Sound Semantics for OCaml light. In: Drossopoulou, Sophia, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 4960. Springer pp. 1-15. ISBN 978-3-540-78738-9. (doi:https://doi.org/10.1007/978-3-540-78739-6_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Cavalcanti, Ana L. C. and Naumann, David A. (2000) Simulation and Class Refinement for Java. In: Drossopoulou, Sophia and Eisenback, S., eds. ECOOP 2000 Workshop on Formal Techniques for Java Programs. Technical Report 269. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |