Points to emphasize
terminology
-- make sure that all phrases are mentioned
polymorphism
-- flexible type system
abstract data types
-- as a means to structure software
contracts
-- as a guideline for validating software
slide
:
Points to emphasize