Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes Monday through Friday.


David Thrane Christiansen

Host Image
Host ID: 418

I love programming languages and their implementations, and I especially love exploring new paradigms of writing programs. I'm online at

episodes: 1

hpr3796 :: Dependent Types

Released: 2023-02-20. Duration: 00:08:28. Flag: Clean. Series: general.
Tags: types, math, programming languages, functional programming.
A quick taste of programming with dependent types

Become a Correspondent