User:Glisze/Books/language-elements

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)


 * Lambta terms
 * Lambda_calculus_definition
 * Lambda_calculus


 * Connotations to confuse
 * Monad_(linear_algebra)