types

Related entries include:

one-dimensional array; polymorphic lambda-calculus; sum of products;