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
      セキュリティのアレ by セキュリティのアレ

      セキュリティのアレ

      1 Listeners

      Rebuild by Tatsuhiko Miyagawa

      Rebuild

      51 Listeners

      バイリンガルニュース (Bilingual News) by Michael & Mami

      バイリンガルニュース (Bilingual News)

      238 Listeners

      backspace.fm by backspace.fm

      backspace.fm

      11 Listeners

      楽しいラジオ「ドングリFM」 by donguri.fm

      楽しいラジオ「ドングリFM」

      4 Listeners

      fukabori.fm by iwashi

      fukabori.fm

      2 Listeners

      EM . FM #EMFM by EM.FM

      EM . FM #EMFM

      0 Listeners

      Off Topic // オフトピック by Off Topic

      Off Topic // オフトピック

      16 Listeners

      ゆる言語学ラジオ by Yuru Gengogaku Radio

      ゆる言語学ラジオ

      49 Listeners

      ひまじんプログラマーの週末エンジニアリングレッスン by ひまじんプログラマー

      ひまじんプログラマーの週末エンジニアリングレッスン

      0 Listeners

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

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

      17 Listeners

      Podcast by Yuka Studio // ユカスタポッドキャスト by Podcast by Yuka Studio

      Podcast by Yuka Studio // ユカスタポッドキャスト

      3 Listeners

      となりのデータ分析屋さん by 佐々木亮とたっちゃん

      となりのデータ分析屋さん

      0 Listeners

      耳で学ぶAI、ロボシンク by 矢野 哲平

      耳で学ぶAI、ロボシンク

      0 Listeners

      中島聡のLife is Beautiful by Satoshi Nakajima

      中島聡のLife is Beautiful

      0 Listeners