Misreading Chat

#63: Programming with Algebraic Effects and Handlers


Listen Later

関数型言語業界ではやっているらしい 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
      View all episodesView all episodes
      Download on the App Store

      Misreading ChatBy Hajime Morrita, Jun Mukai

      • 5
      • 5
      • 5
      • 5
      • 5

      5

      6 ratings


      More shows like Misreading Chat

      View all
      歴史を面白く学ぶコテンラジオ (COTEN RADIO) by COTEN inc.

      歴史を面白く学ぶコテンラジオ (COTEN RADIO)

      240 Listeners

      超相対性理論 by 超相対性理論

      超相対性理論

      17 Listeners

      ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

      ゆるコンピュータ科学ラジオ

      21 Listeners

      リファクタリングとともに生きるラジオ by リファラジ

      リファクタリングとともに生きるラジオ

      0 Listeners

      日本一たのしい哲学ラジオ by 日本一たのしい哲学ラジオ

      日本一たのしい哲学ラジオ

      8 Listeners

      ぽこピーのゆめうつつ by POKOPEA

      ぽこピーのゆめうつつ

      5 Listeners