Topics in Programming Languages
Assignments: homeworks with exercises. It is required to submit 80%. The final grade = 20%homework+80% home exam.
Requirements: Discrete Math, Logic.
Literature:Here some papers and books which might be helpful for the course.
Carl Gunter. Semantics of Programming Languages.
J. Mitchel. Foundations for Programming languages.
B. Pierce, Types and programming languages.
H. Barendreqt . The Lambda Calculus.
J. Hindley and P. Seldin. Introduction to combiators and lambda calculus.
Implementing Functional Languages.
B. A. Trakhtenbrot.
Comparing the Church and Turing approaches: Two Prophetical messages. In The Unuversal Turing Machine - A Half Century Survey. Edited by R. Herken.
Slides on Bisimulation
Lecture 3 .