Type Theory Forall

By Pedro Abreu

An accessible podcast about Type Theory, Programming Languages Research and related

topics.... more

4.8

1313 ratings

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about Type Theory Forall:

How many episodes does Type Theory Forall have?

The podcast currently has 65 episodes available.

Type Theory Forall episodes:

December 23, 2020 #1 What is PL research? - Prof. Ben Delaware
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?
Curry-Howard Correspondence?
What are proof assistants? Why are they cool?
Don’t forget to follow Ben on twitter @GhostofBendy
...more
58min
December 23, 2020 #1 What is PL research? - Prof. Ben Delaware
...more
58min
December 14, 2020 #0 Cool Internships in PL - Pedro Abreu
Who is Pedro Abreu?
What is the goal of this Podcast?
What are My Research Interests?
In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.
Welcome!
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shpat Morina. Click Here
...more
32min
December 14, 2020 #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
...more
32min
December 14, 2020 #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
...more
32min

FAQs about Type Theory Forall:

How many episodes does Type Theory Forall have?

The podcast currently has 65 episodes available.

More shows like Type Theory Forall

Hanselminutes with Scott Hanselman by Scott Hanselman

Hanselminutes with Scott Hanselman

380 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

526 Listeners

ChinaTalk by Jordan Schneider

ChinaTalk

284 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

188 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,133 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

17 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

455 Listeners

Signals and Threads by Jane Street

Signals and Threads

73 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

26 Listeners

The Rest Is Politics by Goalhanger

The Rest Is Politics

3,329 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

59 Listeners

The Rest Is Money by Goalhanger

The Rest Is Money

186 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

485 Listeners