ABOUT THIS PODCAST 🔗
An accessible podcast about Type Theory, Programming Languages Research and related
topics.
topics.
Hosts:
Update frequency:
every 35 days
Average audio length:
96 minutes
Guest interviews
English
United States
172 episodes
since Dec. 14, 2020
episodic
LATEST EPISODE 🔗
Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major contributor the Racket Programming Language.
In this episode we talk in depth about why PL education is so i…
SEARCH PAST EPISODES
Search past episodes of Type Theory Forall.
PREVIOUS EPISODES 🔗
Julien is one of the creators of Hack, a language developed by Facebook to introduce types into PHP. In this episode he talks in depth about the semantics of PHP, and all the ways that it is inhenrently broken, process of development of Hack, the design decisions, the kind of guarantees that could …
Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell.
In this conversation we talk about the development process of the GHC, he explains with detail how’s the decision process of the…
In this episode we talk with Farhad Mehta, one of the main organizers of Zurihac, the biggest Haskell event in the planet.
Zurihac happens once a year at Zurich. This year’s Zurihac will be on june 6, 7 and 8.
Links
Zurihac Website
Types Discussion on the use of AI
Agda Discussion on the us…
In this episode me and Dan Plyukhin get together to have a heartfelt conversation. We start by talking about our experiences with meditation, and how it has helped us to have a more balanced work-life experience. Then the conversation shifts to comment about the current situation of the job market.…
In this episode of the Type Theory Forall podcast, we are joined by Valeria de Paiva, a Brazilian mathematician and logician whose work has had a lasting influence on category theory, type theory, and the foundations of logic. She is also a co-founder of the Topos Institute, where she continues to …
Andrej Bauer has done his PhD at CMU under Dana Scott, and he stands right on the edge between mathematics and computer science. During our conversation it just feels that he can just go on in depth about any topic remotely related to Type Theory and Programming Languages.
Andrej is the person who…
Raghav Malik, has just defended his PhD on the topic of compilers for privacy-preserving computation, and that's a good chunk of our conversation.
He has also spent some years in grad school going down the rabbit hole to actually learn Category Theory in depth and from first principles, so I was d…
Francille Zhuang is an undergrad at Purdue University and has been doing research with Benjamin Delaware and Patrick Lafontaine. In this episode we talk about her early research experiences on Property Based Testing, and we go through all the necessary information for applying for graduate school i…
Mike Sperber is the CEO of Active Group, a company designed for Counseling, Development and Training in functional programming. He is a co-organizer of Bob Konf and FunArch, the Co-founder of the leading german blog on functional programming. Member of the Editorial Board of the JFP. Part of the R6…
Disclaimer: The podcast and artwork embedded on this page are from Pedro Abreu, which is the property of its owner and not affiliated with or endorsed by Listen Notes, Inc.
PODCAST SEARCH ENGINE
You can use our website to search 3,820,642 podcasts and 195,240,327 episodes by people, places, or topics.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
SEARCH PAST EPISODES
Search past episodes of Type Theory Forall.
CLAIM THIS PODCAST
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post classified ads for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
podcaster interview...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
our official X (formerly Twitter) account will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
EDIT
Thank you for helping to keep the podcast database up to date.
