# 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)*