Go back
Bookmarks categorized by tags
type-theory.
The algebra (and calculus!) of algebraic data types
lecture18
Terms, types, and functions
Ownership
Functional TypeScript #1: Algebraic Data Types
Haskell for all: Unification-free ("keyword") type checking
williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.