"Typentheorie." . . "Objekt (Informatik)" . . "Programowanie obiektowe (informatyka)." . . "Programmation orientée objet (Informatique)" . . "Programmation orientée objet (informatique)" . "langage à objets." . . "Objektorientierte Programmiersprache." . . "Objektorientierte Programmierung" . . "Objektorientierte Programmierung." . "programmation-objet." . . "logique ordre 2." . . "Object-georiënteerd programmeren." . . "programmeringssprog" . . "Računalništvo Objektno usmerjene podatkovne baze Programski jeziki Priročniki." . . "Langages de programmation orientés objet Sémantique." . . . . "Oggetti informatica." . . "programmation par objets." . . "Theoretische informatica." . . "Elaboratori elettronici programmazione teorie." . . "Računalništvo Uporaba računalnikov Objektno programiranje Priročniki." . . "Programmation orientée objets (informatique)" . . "Elaboratori elettronici - Programmazione orientata agli oggetti." . . "logique 1er ordre." . . "Theorie." . . "Programación orientada a objetos (Computadores)" . . "Langages à objets (Informatique)" . . "Programmation orientée objet." . . "Objektno orientirano programiranje Vrste Kalkulacije Priročniki." . . "type abstrait." . . "Conception orientée objet (Informatique)" . . "Lenguajes de programación." . . . . . . . . . . . "Electronic books" . . "A Theory of Objects" . . . "Theory of objects" . . . "Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi, the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming." . . . . . . . . . . . . . . . . . . . . . . . . . . "A theory of objects" . "A theory of objects"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Objektno orientirano programiranje Implementacija Teorija in praksa Priročniki." . . "Langage orienté objets." . . "logique ordre élevé" . . "Programació orientada a l'objecte (Informàtica)" . . "Programación orientada a objetos." . .