Software Engineering KB
Search
Search
Dark mode
Light mode
Explorer
Home
❯
02 Programming Languages and Paradigms
❯
01 Type Systems
❯
01 Concept
Folder: 02-Programming-Languages-and-Paradigms/01-Type-Systems/01-Concept
16 items under this folder.
Feb 10, 2026
Algebraic Data Types (Type Systems)
type-systems
adt
algebraic
Feb 10, 2026
Bidirectional Type Checking
type-systems
type-inference
bidirectional
Feb 10, 2026
Dependent Types
type-systems
dependent-types
Feb 10, 2026
Dynamic Typing
type-systems
dynamic
Feb 10, 2026
Generics - Parametric Polymorphism
type-systems
generics
parametric-polymorphism
Feb 10, 2026
Gradual Typing
type-systems
gradual
Feb 10, 2026
Higher-Kinded Types
type-systems
higher-kinded
Feb 10, 2026
Hindley-Milner
type-systems
type-inference
hindley-milner
Feb 10, 2026
Local Inference
type-systems
type-inference
local
Feb 10, 2026
Phantom Types
type-systems
phantom-types
Feb 10, 2026
Refinement Types
type-systems
refinement-types
Feb 10, 2026
Static Typing
type-systems
static
Feb 10, 2026
Strong Typing
type-systems
strong
Feb 10, 2026
Structural vs Nominal Typing
type-systems
structural
nominal
Feb 10, 2026
Type Classes - Traits
type-systems
type-classes
traits
Feb 10, 2026
Weak Typing
type-systems
weak