What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andrej Bauer - OPLSS 2018
Автор: OPLSS
Загружено: 2018-08-02
Просмотров: 5963
Описание:
Oregon Programming Languages Summer School
Parallelism and Concurrency
July 3-21, 2018
University of Oregon
https://www.cs.uoregon.edu/research/s...
Title: What's Algebraic About Algebraic Effects and Handlers? [1/2]
Speaker: Andrej Bauer, University of Ljubljana
Date: Wednesday, 18 July 2018, Session 4
Lecture notes: https://github.com/OPLSS/introduction...
Topics:
algebraic theories
how mathematics informs program design
universal algebra
set theory definition of a mathematical group
equations and operations
monoid definition of a group
definitions of "signature", "operation", "arity", "term", "context", "equation", "equational theory", "interpretation", "model", "carrier set", "map", "free model", "well-founded tree", "equivalence relation", "congruence"
© 2018, University of Oregon
Повторяем попытку...
![What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andrej Bauer - OPLSS 2018](https://imager.clipsaver.ru/atYp386EGo8/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Computational Type Theory [4/5] - Robert Harper - OPLSS 2018](https://image.4k-video.ru/id-video/pfOQ97iCIsk)
![О выразительной силе языков программирования Шрирама Кришнамурти [PWLConf 2019]](https://image.4k-video.ru/id-video/43XaZEn2aLc)
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://image.4k-video.ru/id-video/LE0SSLizYUI)
![Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019](https://image.4k-video.ru/id-video/8cXl2Tfhy_Q)
![[Haskell'23] The Evolution of Effects](https://image.4k-video.ru/id-video/m821Vz8N_bo)
