What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andrej Bauer - OPLSS 2018

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