Share #63: Programming with Algebraic Effects and Handlers

Copy link

June 24, 2019

#63: Programming with Algebraic Effects and Handlers

34 minutes

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

https://misreading.chat/wp-content/uploads/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)

...more

By Hajime Morrita, Jun Mukai

66 ratings