Facultatea de Auomatica si CalculatoareFacultatea de Auomatica si Calculatoare

See other templatesSee other templates

Print

Type systems and functional programming

Course Instructor: Mihnea Muraru

Syllabus:

  • Functional programming.
  • Untyped Lambda Calculus.
  • Recursion and fixed-point combinators.
  • Operational semantics as a language specification tool.
  • Typed Lambda Calculus.
  • The "type system" concept.
  • Particular monomorphic types: Boolean, natural numbers, product.
  • Recursive types: lists.
  • Parameterized polymorphism.
  • System F.
  • Type reconstruction: unification, principal types, typing rules.
  • The Fw system.
  • Particular problems: types, classes and functors in Haskell.
Free business joomla templates