#63: Programming with Algebraic Effects and Handlers

Misreading Chat

関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か [e-mail] にお寄せください。

https://misreadingchat.files.wordpress.com/2019/06/ep63.mp3

• [1203.1539] Programming with Algebraic Effects and Handlers
• Algebraic Effects for Functional Programming
• Programming and Reasoning with Algebraic Effects and Dependent Types
• yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects
• Eff Programming Language
• Koka – Microsoft Research
• Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types – Misreading Chat

follow-up

• What Spectre and Meltdown Mean For WebKit | WebKit
• IBM Research | Technical Paper Search | Let’s Not Speculate: Discovering and Analyzing Speculative Execution Attacks(Search Reports)