David Christiansen
  • Tutorials
  • Blog

New Podcast on Type Theory

Posted 2014-08-13 in Types

I’m a cohost of a new pocast on type theory, The Type Theory Podcast. We just posted our first episode: an interview with Peter Dybjer on types and testing.

  • ← New paper submission: “Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection”
  • Implementing an Emacs programming language mode: beyond the basics →

Find me

  1. GitHub
  2. Twitter
  3. The Type Theory Podcast

Feeds

  • Atom
  • RSS