+<table>
+<tr>
+<td>Scheme (functional part)</td>
+<td>OCaml (functional part)</td>
+<td>C, Java, Pasval<br>
+Scheme (imperative part)<br>
+OCaml (imperative part)</td>
+<tr>
+<td>lambda calculus<br>
+combinatorial logic</td>
+<tr>
+<td colspan=3>--------- Turing complete ---------</td>
+<tr>
+<td>
+<td>more advanced type systems, such as polymorphic types
+<td>
+<tr>
+<td>
+<td>simply-typed lambda calculus (what linguists mostly use)
+<td>
+</table>
+
+
+