Type Theory Forall
Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related
topics.
topics.
Top mentioned books
Here are the most frequently recommended books on the Type Theory Forall podcast:
#1 Mentioned in 1 episodes
The Meaning of It All
Thoughts of a Citizen-Scientist
Richard Feynman
#2 Mentioned in 1 episodes
Writing A Compiler In Go
Thorsten Ball
#3 Mentioned in 1 episodes
Compiling with Continuations
Andrew W. Appel
#4 Mentioned in 1 episodes
Writing An Interpreter In Go
Thorsten Ball
