AboutTermsPrivacyContact
 
Updating
Type Theory Forall

Type Theory Forall

Pedro Abreu
Released: 2021-12-23
© CC BY 4.0
Type Theory Forall - QR Code
Free0%
14 Episodes
Audio
Listen on Apple Podcasts
Free0%
14 Episodes
Audio
Listen on Apple Podcasts
Released: 2021-12-23
© CC BY 4.0
Most Recent Episode
#13 - C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

#13 - C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

John Wiegley
Play
Episode ID: 1000545979020
GUID: https://www.typetheoryforall.com/2021/12/23/13-C-C++,-Emacs,-Haskell,-and-Coq,-The-Journey-(John-Wiegley).html
Release Date: 23/12/2021, 19:40:00

Description

Type Theory Forall is a podcast hosted by Pedro Abreu, a Purdue PhD Student in Programming Languages. Our goal is to bridge the gap between academia and the world of Programming Languages and Type Theory. For this we interview professors, students and anyone who seem to have something relevant to share about the state of the art of Programming Languages Research.

Feed URL

https://www.typetheoryforall.com/episodes.mp3.rss

Apple Podcasts: Customer Reviews

No Entry