Object-oriented type systems
by Palsberg, Jens, Schwartzbach, Michael I.
fromWiley professional computing
by Palsberg, Jens, Schwartzbach, Michael I.
fromWiley professional computing
by Wirfs-Brock, Rebecca, Wilkerson, Brian, Wiener, Lauren
by PremKumar, Lawrence, Mohan, Praveen
fromThe expert's voice in Java technology
by Bruni, Roberto, IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems
fromLecture Notes in Computer Science
by Bruni, Roberto, IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems
fromLecture Notes in Computer Science