Semantika programskih jezika Osnovne informacije MI008 (2+2+0) - 6 ECTS bodova Upoznati studente s apstraktnim modelom programskih jezika lambda-calculus. Objasniti generalna svojstva programa koji može mijenjati druge programe u apstraktnom okruženju neopterećenog detaljima. Ovladati pojmovima varijabla, apstrakcija (funkcijska definicija), primjena funkcije na argument (Application). Povezati ove koncepte s konceptima funkcijskog programiranja i jezika Haskell ili Coq. Sadržaj kolegija možete dohvatiti na sljedećem linku: PDF Nastavnici Nastavnik: izv. prof. dr. sc. Domagoj Matijević Suradnik: dr. sc. Luka Borozan Osnovna literatura Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002 J. C. Mitchell, Foundations for Programming Languages, MIT Press, 1996 Dopunska literatura Materijali Materijali su dostupni na internom Teams kanalu kolegija pomoću kojeg se odvija i sva interna komunikacija. Studenti su obvezni registrirati se na Teams kanal kolegija. Šifra kanala kolegija pomoću kojeg se možete pridružiti kolegiju nalazi se u rasporedu.