Scheme (functional part) | OCaml (functional part) | C, Java, Pasval +Scheme (imperative part) +OCaml (imperative part) |

lambda calculus +combinatorial logic | ||

--------- Turing complete --------- | ||

+ | more advanced type systems, such as polymorphic types + | + |

+ | simply-typed lambda calculus (what linguists mostly use) + | + |