Sveriges mest populära poddar
Type Theory Forall
Type Theory Forall

#1 What is PL research? - Prof. Ben Delaware

58 min•23 december 2020

Om avsnittet

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

Fler avsnitt

Visa alla avsnitt av Type Theory Forall

#64 PL Education in the Age of AI - Shriram Krishnamurthi

2 tim 44 min

#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

1 tim 46 min

#62 Dependent Haskell - Vladislav Zavialov

2 tim 5 min

#61 Zurihac Behind the Scenes - Farhad Mehta

2 tim 19 min

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

1 tim 53 min

#59 Category Theory and Inclusivity - Valeria de Paiva

2 tim 47 min

#58 Constructivism and Computational Content - Andrej Bauer

2 tim 19 min

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

59 min

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

1 tim 36 min

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

2 tim 38 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.