Ph.D. and M.Sc. School in

Computer Science - Types at Work

DTU Campus , August 10th to 21st 2009

Learning objectives


The students will be able to understand and apply different modern type systems and will be able to adapt them to concrete specifications.

This includes an ability to:

  • explain the basic concepts introduced (types, subtyping, polymorphim, effects, type checking, type inference)
  • explain concrete type systems and their applications (dimension types, communication types, security types, region types)
  • adapt type systems to a given application
  • argue for the appropriateness of the resulting type system (soundness)
  • implement algorithms for type inference (based on algorithms like Milner's W and I, or constraint-based algorithms) to a concrete type system
  • realise these results as part of a group effort while maintaining individual responsibility
  • write a comprehensive report clearly exlplaining the results and methods
  • give a talk that clearly presents the main results and methods

Ph.D. and M.Sc.School in Computer Science - Types at Work, DTU, DK-2800 Lyngby