Here is a preliminary list of possible project topics.

• Generalized data types.
• Generic types; polytypical programming
• Haskell type system.
  • type classes
  • variants and extensions
• Object oriented type systems.
  • Type models
  • Binary method problem
  • F-bounded polymorphism
  • Higher-order subtyping and bounded quantifiers
  • Featherweight Java
  • Static semantics of classic Java
  • Type safety of JVM
  • Type system of Moby
• Typed intermediate languages (FLINT, TILT)
• Modules
  • Static Semantics
  • Parametric modules
  • Recursive modules
  • Signature calculus
  • Units
• Type dynamic
• Linear types
• Forsythe (Essense of Algol)
• PICT, typed Pi-calculus
• Types and security
• Types for static analysis
• Type inference
  • Hindley Milner
  • Local type inference
  • Type inference in Moby
• Overloading
• Curry-Howard isomorphism
• Classification of typed lambda calculi (Barendrect cube)
• Parametricity (Reynolds)
• Abstract types
  • Representation independence results
• Proof carrying code
• Type safe low-level (systems) languages (Cyclone, Safe C)