#1 What is PL research? - Prof. Ben Delaware
Type Theory Forall
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
Next Episodes
#0 Cool Internships in PL - Pedro Abreu @ Type Theory Forall
π 2020-12-14 13:08 / β 00:31:59
#0 Cool Internships in PL - Pedro Abreu @ Type Theory Forall
π 2020-12-14 13:08 / β 00:31:59
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research. @ Type Theory Forall
π 2020-12-14 05:00 / β 00:31:59