The University of Birmingham - School of Computer Science

02552 Principles of Programming Languages

Spring Semester 2019-20

Lecture Notes and Exercises

  • Functional program reasoning
  • Type systems
  • Imperative programming


    Office hours


    Staff Details

    Professor Uday Reddy
    Room 210 Computer Science
    Tel: (+44) 121 414 2740
    Email: U.S.Reddy 'at'
    Office hours: Mondays, 3:30-4:30, in 210 Computer Science

    Other Resources

    Module Description and Syllabus

    Reading Material