#1 What is PL research? - Prof. Ben Delaware
Type Theory Forall
English - December 23, 2020 12:42 - 57 minutes - 40.8 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #0 Cool Internships in PL - Pedro Abreu
Next Episode: #2 Grad School Life - Rajan Walia and John Sarracino
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