Madhavan Mukund



Programming Language Concepts
Jan-Apr 2017

Programming Language Concepts

Jan–Apr, 2017


Administrative details

  • Instructors:

    • M Praveeen: Object oriented programming, exception handling, event driven programming, concurrent programming

    • Madhavan Mukund: λ-calculus, type inference, logic programming


Supplementary reading material

λ-Calculus

Logic Programming



Lecture summaries

λ-calculus

Logic Programming