SIGNALTUBE / HACKER NEWS

Search results for “dependent types”

Search titles, channels, topics, and recommendation context.

Edwin Brady - Idris 2 - Type-driven Development of Idris

Curry On!

2019 · 4 HN recs · 4 months

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

Code Sync

2018 · 5 HN recs · 4 months

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Strange Loop Conference

2017 · 4 HN recs · 4 months

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference

2018 · 2 HN recs · 2 months

Type-Driven Development in Idris — Edwin Brady

Scala World

2019 · 1 HN recs · 1 months

Showing 5 of 5 matching videos.