What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andrej Bauer - OPLSS 2018
Автор: OPLSS
Загружено: 2018-08-02
Просмотров: 5898
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://ricktube.ru/thumbnail/atYp386EGo8/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Computational Type Theory [4/5] - Robert Harper - OPLSS 2018](https://ricktube.ru/thumbnail/pfOQ97iCIsk/mqdefault.jpg)
![[Haskell'23] The Evolution of Effects](https://ricktube.ru/thumbnail/m821Vz8N_bo/mqdefault.jpg)
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://ricktube.ru/thumbnail/LE0SSLizYUI/mqdefault.jpg)
