Matija Pretnar: Algebrajski učinki 2.0

Povzetek: na seminarju bom predstavil zadnjo različico algebrajskega pristopa k računskim učinkom (izjeme, pomnilnik, vhodno/izhodne naprave, nedeterminizem, ...) ter njihovim prestreznikom. Pristop je sedaj precej poenostavljen in vsebuje le najbistvenejše elemente, potrebne za razumevanje algebrajskih učinkov. Tokrat tako sploh ne bomo potrebovali že tradicionalnega polurnega uvoda v monade. 

Za najavo v zadnjem trenutku se opravičujemo, vsi ste lepo vabljeni!