Category:Type systems
![]() | Computing portal |
Here is a list of articles in the Type systems category of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Type systems. |
Pages in category "Type systems"
The following 19 pages are in this category, out of 19 total.
- Type system (computing)
*
D
- Dependent type (computing)
F
- Flow-sensitive typing (computing)
G
- Gradual typing (computing)
H
- Hindley–Milner type system (computing)
I
- Inheritance (object-oriented programming) (computing)
- Intersection type (computing)
- Intersection type discipline (computing)
L
- Latent typing (computing)
- Liquid Haskell (computing)
M
- Manifest typing (computing)
- Multi-stage programming (computing)
N
- Nominal type system (computing)
R
- Refinement type (computing)
S
- Security type system (computing)
- Strong and weak typing (computing)
- Structural type system (computing)
T
- Type inference (computing)