• POPLmark Reloaded, Part 1

  • 2024/12/23
  • 再生時間： 15 分
  • ポッドキャスト

POPLmark Reloaded, Part 1

無料で聴く

ポッドキャストの詳細を見る

  • サマリー

  • I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.

    続きを読む 一部表示

あらすじ・解説

I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.

続きを読む 一部表示

POPLmark Reloaded, Part 1に寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。