An accessible podcast about Type Theory, Programming Languages Research and related topics.
Technology
•
Updated Monthly
•
Latest Episode
Copy Link
Embed Show
Go to Show
See how your data is managed…
