-[[!wikipedia Tagged union]]
-[[!wikipedia Algebraic data type]]
-[[!wikipedia Pattern matching]]
-[[!wikipedia Unit type]]
-[[!wikipedia Bottom type]]
-[[!wikipedia Typed lambda calculus]]
-[[!wikipedia Simply typed lambda calculus]]
-[[!wikipedia Type polymorphism]]
-[[!wikipedia System F]]
+* [[!wikipedia Tagged union]]
+* [[!wikipedia Algebraic data type]]
+* [[!wikipedia Pattern matching]]
+* [[!wikipedia Unit type]]
+* [[!wikipedia Bottom type]]
+* [[!wikipedia Typed lambda calculus]]
+* [[!wikipedia Simply typed lambda calculus]]
+* [[!wikipedia Type polymorphism]]
+* [[!wikipedia System F]]