Detailed contents:<dl><dt>Type systems and abstraction</dt><dd>Operational semantics, types, polymorphism, sub-typing, modules</dd><dt>Program analyses</dt><dd>Flow analysis, region inference</dd><dt>Programming languages for mobile and distributed systems</dt><dd> The join-calculus, JoCaml</dd><dt>Language based security</dt><dd>proof-carrying code, typed applets, typed assembly languages, Cyclone </dd></dl>
Weekly lectures, theoretical exercises, programming exercises