Readings

We encourage you to read the following papers and documentations before the meeting.

Introduction to Effect Handlers

• An Introduction to Algebraic Effects and Handlers by Matija Pretnar
• What is Algebraic about Algebraic Effects and Handlers? by Andrej Bauer
• Foundations for Programming and Implementing Effect Handlers by Daniel Hillerström
• OCaml 5 Effect Handlers Manual

Type Systems and Operational Semantics of Mainstream Languages

• The TypeScript Handbook
• The Rust Book
• Oxide: The Essence of Rust by Aaron Weiss, Olek Gierczak, Daniel Patterson, and Amal Ahmed
• The Python Language Reference (especially sections on typing and typing-related Python enhancement proposals)
• The MyPy Documentation