#10 Classical Logic vs Intuitionistic Logic
July 15th 2021
Thorsten Altenkirch and Anupam Das
#9 Logic and Proof Theory
May 28th 2021
May 10th 2021
#7 Hacking Isabelle's Internals
April 15th 2021
#6 All The Dumb Questions on Gradual Types
March 29th 2021
#5 The History of Coq'Art
February 27th 2021
#4 Theorem Provers, Functional Programming and Companies
February 15th 2021
#3 ML for PL and Mental Health
February 1st 2021
#2 Grad School Life
January 10th 2021
Rajan Walia and John Sarracino
#1 What is PL research?
December 23rd 2020
Prof. Ben Delaware
#0 Cool Internships in PL
December 14th 2020
Believe or not there are quite a few companies interested in Programming Languages Research.
Who is Pedro Abreu?
What is the goal of this Podcast?
What are My Research Interests?
In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shapat Morina. Click HereDownload .mp3 (51.3M)
Tweet comments powered by Disqus