Author of the publication

Compound Types for Java

, and . Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)'98, page 362-373. ACM Press, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generic Wrappers., and . ECOOP, volume 1850 of Lecture Notes in Computer Science, page 201-225. Springer, (2000)Compositional Symmetric Sharing in B., and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 431-451. Springer, (1999)The Greybox Approach: When Blackbox Specifications Hide Too Much, and . 297. Turku Center for Computer Science, (August 1999)Compound Types for Java., and . OOPSLA, page 362-373. ACM, (1998)SIGPLAN Notices 33(10).Safe Language Mechanisms for Modularization and Concurrency. Department of Computer Science, \AA bo Akademi University, Turku, Finland, (2000)Compound Types for Java, and . Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)'98, page 362-373. ACM Press, (1998)The B Bank: A Complete Case Study.. ICFEM, page 190-199. IEEE Computer Society, (1998)