FUNCTIONAL PROGRAMMING
Not the keyword you're looking for? See all keywords.
Type Systems: From Generics to Dependent Types
A practical guide through the landscape of type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris