David Christiansen

David Christiansen

www.davidchristiansen.dk
6 Interviews

David Christiansen's Interviews

Adam Gordon Bell & David Christiansen + Daniel P. Friedman 01 Dec 2018 • EN

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

67 min
00:00
01:07:27
No file found
Steven Proctor & David Christiansen 19 Sep 2017 • EN

David Christiansen

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.

62 min
00:00
01:02:11
No file found
David Christiansen & Stephanie Weirich 18 Apr 2015 • EN

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

1 min
00:00
00:00
No file found
David Christiansen & Dan Licata 07 Jan 2015 • EN

Episode 3: Dan Licata on Homotopy Type Theory

Episode 3: Dan Licata on Homotopy Type Theory

1 min
00:00
00:00
No file found
David Christiansen & Edwin Brady 26 Sep 2014 • EN

Episode 2: Edwin Brady on Idris

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

1 min
00:00
00:00
No file found
David Christiansen & Peter Dybjer 13 Aug 2014 • EN

Episode 1: Peter Dybjer on types and testing

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.

1 min
00:00
00:00
No file found

Podcasts with David Christiansen

Shout-outs

Add shout-out

Your shout-out can appear here. Consider telling everyone why David Christiansen should be followed.

Possible Pairings

You might also be interested in