Matija Pretnar: Anatomija programskega jezika Eff, 1. del
Datum objave: 1. 4. 2013
Seminar za temelje matematike in teoretično računalništvo
Torek, 2. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Povzetek. Za zaključek študija programskih jezikov si bomo podrobno ogledali Eff, funkcijski programski jezik, zasnovan na algebrajskem pristopu k računskim učinkom. V prvem delu si bomo ogledali operacijsko semantiko ter predvsem veliko primerov.
