Search Results
"A Little Taste of Dependent Types" by David Christiansen
"Dependent Types in Haskell" by Stephanie Weirich
Dependent Types with David Christiansen – Functional Futures
Idris: General Purpose Programming with Dependent Types
What are dependent types? aka the Calculus of Construction (as a type wizard)
Dependent types for practical use
A Little Taste of Dependent Types (David Thrane Christiansen)
Stephan Boyer - What are Dependent Types - λC 2017
Unleash Your English Skills with Omar: Mastering Sentence Types!
Dependent Types - salvation or plague | Lambda Days 2021
Chris Casinghino - Making Dependent Types Practical
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
