#Logic
> #TypeTheoryForall is a #podcast hosted by #PedroAhbril, PhD Student in #Programming Languages at #PurdueUniversity. Our goal is to create content broadly related with PL research and #TypeTheory. For this we interview researchers, host round-tables and have broad discussions about anything related with PL and Type Theory.
https://www.typetheoryforall.com
#Haskell #Coq #Emacs #Isabelle #Agda #Idris #OCaml
#ocaml #idris #agda #isabelle #emacs #coq #haskell #typetheory #purdueuniversity #programming #PedroAhbril #podcast #TypeTheoryForall #logic