10 episodes

Type Theory Forall is a podcast hosted by Pedro Abreu, a Purdue PhD Student in Programming Languages. Our goal is to bridge the gap between academia and the world of Programming Languages and Type Theory. For this we interview professors, students and anyone who seem to have something relevant to share about the state of the art of Programming Languages Research.

Type Theory Forall Pedro Abreu

    • Technology

Type Theory Forall is a podcast hosted by Pedro Abreu, a Purdue PhD Student in Programming Languages. Our goal is to bridge the gap between academia and the world of Programming Languages and Type Theory. For this we interview professors, students and anyone who seem to have something relevant to share about the state of the art of Programming Languages Research.

    #9 Logic and Proof Theory - Anupam Das

    #9 Logic and Proof Theory - Anupam Das

    Anupam Das

    #8 Cedille - Chris Jenkins

    #8 Cedille - Chris Jenkins

    Chris Jenkins

    #7 Hacking Isabelle's Internals - Daniel Matichuk

    #7 Hacking Isabelle's Internals - Daniel Matichuk

    Daniel Matichuk

    #6 All The Dumb Questions on Gradual Types - Zeina Migeed

    #6 All The Dumb Questions on Gradual Types - Zeina Migeed

    Zeina Migeed

    #5 The History of Coq'Art - Yves Bertot

    #5 The History of Coq'Art - Yves Bertot

    Yves Bertot

    #4 Theorem Provers, Functional Programming and Companies - Eric Bond

    #4 Theorem Provers, Functional Programming and Companies - Eric Bond

    Eric Bond

Top Podcasts In Technology