#4 Theorem Provers, Functional Programming And Companies - Eric Bond Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

内容由Pedro Abreu提供。所有播客内容（包括剧集、图形和播客描述）均由 Pedro Abreu 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

Type Theory Forall « »
#4 Theorem Provers, Functional Programming and Companies - Eric Bond

3+ y ago 1:14:23

分享

MP3•单集首页

内容由Pedro Abreu提供。所有播客内容（包括剧集、图形和播客描述）均由 Pedro Abreu 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

In this episode we host Eric Bond to go through some real cool projects happening in the PL World and some of the companies behind them.

We discuss some technical differences between the major interactive theorem provers out there, some of their most popular projects, and a few companies that work in the realm.

Eric Bond works at 47 degrees, a consulting company on Functional Programming Languages, specially on Scala and Haskell. You can find Eric @ericbond10 on Twitter.

During the episode we mention PL Talks and the Midlands Graduate School in the Foundations of Computing Science 2021.

… continue reading

82集单集

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#4 Theorem Provers, Functional Programming and Companies - Eric Bond

Type Theory Forall

27 subscribers

published 3+ y ago

分享

MP3•单集首页

内容由Pedro Abreu提供。所有播客内容（包括剧集、图形和播客描述）均由 Pedro Abreu 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

In this episode we host Eric Bond to go through some real cool projects happening in the PL World and some of the companies behind them.

We discuss some technical differences between the major interactive theorem provers out there, some of their most popular projects, and a few companies that work in the realm.

Eric Bond works at 47 degrees, a consulting company on Functional Programming Languages, specially on Scala and Haskell. You can find Eric @ericbond10 on Twitter.

During the episode we mention PL Talks and the Midlands Graduate School in the Foundations of Computing Science 2021.

… continue reading

82集单集

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Wszystkie odcinki

×

欢迎使用Player FM

Player FM正在网上搜索高质量的播客，以便您现在享受。它是最好的播客应用程序，适用于安卓、iPhone和网络。注册以跨设备同步订阅。

收听超过500个主题