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

    Lectures

    Office hours

    Assessment

    Staff Details

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

    Other Resources

    Module Description and Syllabus

    Reading Material