Home
/
Programming
/
Programming Languages Theory
/
Type Systems
−
100%
+
Fit
Idris: A Language for Type-Driven Development
idris-lang.org
David Thrane Christiansen
davidchristiansen.dk
https://typetheorypodcast.com/
typetheorypodcast.com
Programming Language Foundations in Agda
plfa.inf.ed.ac.uk
wen.works
wen.works
Philip Wadler's home page
homepages.inf.ed.ac.uk
Interesting for dependent types.
Dec 17, 2024
People
Agda
