User:Glisze/Books/Finding the type of language

Type System in Haskell

 * Type
 * Haskell Curry
 * System F
 * Parametric polymorphism
 * Hindley–Milner type system
 * Monad (category theory)


 * Monad
 * Category theory
 * Category (mathematics)
 * Monad (functional programming)
 * Lambda calculus definition
 * Lambda calculus


 * Connotations to confuse
 * Monad (linear algebra)


 * Towards the foundations of Categories
 * Outline_of_category_theory
 * Category_(mathematics)
 * Morphism
 * Class_(set_theory)


 * Example categories
 * Category_of_groups
 * Group_(mathematics)
 * Algebraic_structure
 * Set_(mathematics)
 * Binary_operation
 * Closure_(mathematics)
 * Associative_property
 * Identity_element
 * Inverse_element
 * Forgetful_functor