Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。
- [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