TOPICS FOR THE SYLLABUS

-Expressive Power
-Functional Paradigm
   *Haskell (Lambda Calculus)
   *reasoning
   *modules
-OO Paradigm
   *Smalltalk
   *OO Type Systems
   *alias control
-AO Languages
   *AspectJ
-AO Semantics
   *AO Calculi
   *AO Types