Semantics of programming languages Basic Information MI008 (2+2+0) - 6 ECTS credits Introduce students with the mathematical analysis of programming languages. Students will study programming language concepts using the framework of typed lambda calculus. The main goal is to present programming language concepts and features beyond the surface syntax and to understand the meaning of program phrases (expressions, commands, declarations, etc.). All concepts will be related to functional programming paradigm and Haskell programming language. You can access the course content at the following link: PDF Teachers Instructor: Dr. Domagoj Matijević, Associate Professor Supporting Instructor: Dr. Luka Borozan Basic literature Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002 J. C. Mitchell, Foundations for Programming Languages, MIT Press, 1996 Additional literature Teaching materials The materials are available on the internal Teams channel of the course, through which all internal communication takes place. Students are required to register on the course’s Teams channel. The channel code for joining the course can be found in the schedule.