David Christiansen's Interviews
Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs. Prepare for some mind stretching. Previous guests like Edwin Brady and Stephanie Weirich have dis
In this episode I talk with David Christiansen. We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to macro-expansion in Racket, and much, much more.
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been involved in the design and implementation of features such as generalized algebraic datatypes, higher-rank polymorphism, t
Episode 3: Dan Licata on Homotopy Type Theory
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Podcasts with David Christiansen
Possible Pairings
You might also be interested in
Adam Gordon Bell
Software Developer
Edwin Brady
Computer scientist
Steven Proctor
Software Developer
Stephanie Weirich
Computer scientist
Daniel P. Friedman
Computer scientist
Eric Normand
Software Developer
Jim Blandy
Software Developer
Jason Gauci
Software Developer
John De Goes
Software Developer
Rúnar Bjarnason
Software Developer
Bartosz Milewski
Computer scientist
Andy Hunt
Consultant
Shout-outs
Add shout-out