Sablon:Type systems

type systems
general concepts
type safety strong and weak typing
major categories
static type checking vs. dynamic type checking manifest typing vs. type inference nominal type system vs. structural type system duck typing
minor categories
abstract type dependent type flow-sensitive typing gradual typing intersection type latent typing refinement type substructural type system uniqueness type session type