Postulates -- class-based languages


slide: Class-based languages -- postulates