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

Type Theory Forall

محتوای ارائه شده توسط Pedro Abreu. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Pedro Abreu یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

3+ y ago 1:14:23

MP3•خانه قسمت

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.

82 قسمت

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