
Sign up to save your podcasts
Or


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.
By Pedro Abreu4.8
1313 ratings
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.

383 Listeners

530 Listeners

288 Listeners

190 Listeners

4,175 Listeners

19 Listeners

508 Listeners

72 Listeners

13 Listeners

29 Listeners

3,051 Listeners

62 Listeners

184 Listeners

473 Listeners