Type Theory Forall

Latest Episodes:

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

Show notes

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.

#3 ML for PL and Mental Health - Dan Zheng Feb 01, 2021

Show notes

In this episode we host Dan Zheng, an alumni of Purdue University that now works at Google at real cool projects that relates ML and PL.

We chat about how was his transition from undergrad to such a huge company like Google. We talk about cool languages such as Lantern, LLVM, LMS, Julia, Rust, Racket, Scala. How does ML and PL can be used to enhance each other. And towards the end we shift our attention to mental health, both in the academia and in the industry.

You can find Dan at twitter @dancherp

#2 Grad School Life - Rajan Walia and John Sarracino Jan 10, 2021

Show notes

In this episode we host Rajan Walia and John Sarracino. Rajan is a last year PhD Student from Indiana University, working under Sam Tobin-Hochstadt. And John is a Postdoc working with Greg Morriset at Cornell University.

We talk about Grad School life, how academia life looks like, pressure to publish, work-life balance, industry vs academia, and much more!

Here you can find John’s Website. http://goto.ucsd.edu/~john/

And here is Matt Might’s website mentioned in the episode. http://matt.might.net/#blog

#1 What is PL research? - Prof. Ben Delaware Dec 23, 2020

Show notes

In this episode we host Prof. Benjamin Delaware from Purdue University to discuss and try to answer some basic questions related to PL research:

What is PL research?

Why does it matter?

Why is it cool?

What is Lambda Calculus?

What is Type Theory?

Church-Turing Thesis?