Matija Pretnar: Anatomija programskega jezika Eff, 1. del
Date of publication: 1. 4. 2013
Mathematics and theoretical computing seminar
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.
