Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes Monday through Friday.


David Thrane Christiansen

Thumbnail of David Thrane Christiansen
: 418

hpr3796 :: Dependent Types

2023-02-20. 00:08:28. Clean. general.
types, math, programming languages, functional programming.

A quick taste of programming with dependent types

Listen in ogg, spx, or mp3 format.

Become a Correspondent