• Gleaming the Lambda Cube with Nathan Mull

  • 2025/01/15
  • 再生時間： 1 時間 26 分
  • ポッドキャスト

Gleaming the Lambda Cube with Nathan Mull

無料で聴く

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

  • サマリー

  • This week Nathan Mull, a type theorist and CS Professor at Boston University, came on the show to help Mike and Erik understand what the phrase "Propositions as Types" is all about. This is an idea about how programs are connected to logic and mathematical proofs, whether we want them to be or not! You know that program that orders pizza from Dominos?! Yes, even that program is a proof of something. Find out what it proves on this episode of Picture Me Coding!

    Links

    • Nathan Mull's personal site
    • 2014 Philip Wadler Paper: Propositions as Types
    • 2016 Strangeloop Conference recording (Youtube): "Propositions as Types" by Philip Wadler

    Send us a text
    続きを読む 一部表示

あらすじ・解説

This week Nathan Mull, a type theorist and CS Professor at Boston University, came on the show to help Mike and Erik understand what the phrase "Propositions as Types" is all about. This is an idea about how programs are connected to logic and mathematical proofs, whether we want them to be or not! You know that program that orders pizza from Dominos?! Yes, even that program is a proof of something. Find out what it proves on this episode of Picture Me Coding!

Links

  • Nathan Mull's personal site
  • 2014 Philip Wadler Paper: Propositions as Types
  • 2016 Strangeloop Conference recording (Youtube): "Propositions as Types" by Philip Wadler

Send us a text
続きを読む 一部表示
activate_buybox_copy_target_t1

Gleaming the Lambda Cube with Nathan Mullに寄せられたリスナーの声

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

Audible.co.jp

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