| Table exercise: transposing, row elimination, and column elimination. | On slide | In textbook |
| Tables as lists of rows | On slide | In textbook |
| tables in HTML | On slide | In textbook |
| Tables with higher-order functions | On slide | In textbook |
| tail | On slide | In textbook |
| tail recursion | On slide | In textbook |
| The eval and apply primitives | On slide | In textbook |
| The let* name binding construct | On slide | In textbook |
| The let name binding expression | On slide | In textbook |
| The letrec namebinding construct | On slide | In textbook |
| The alpha rewrite rule | On slide | In textbook |
| The append function | On slide | In textbook |
| The beta rewrite rule | On slide | In textbook |
| The capturing of continuations | On slide | In textbook |
| The catch and throw idea | On slide | In textbook |
| The equivalent meaning of let | On slide | In textbook |
| The eta rewrite rule | On slide | In textbook |
| The filtering function | On slide | In textbook |
| The function concept | On slide | In textbook |
| The function outline-copy | On slide | In textbook |
| The function simple-html-table | On slide | In textbook |
| The HTML mirrors in LAML | On slide | In textbook |
| The idea of currying | On slide | In textbook |
| The interpretation of self | On slide | In textbook |
| The intuition behind continuations | On slide | In textbook |
| The main programming paradigms | On slide | In textbook |
| The mapping function | On slide | In textbook |
| The ordering of reductions | On slide | In textbook |
| The read-eval-print loop | On slide | In textbook |
| The reduction functions | On slide | In textbook |
| The XHTML mirror in LAML | On slide | In textbook |
| The zipping function | On slide | In textbook |
| Theoretical results | On slide | In textbook |
| time elucidative program | On slide | In textbook |
| tools - in Lisp | On slide | In textbook |
| Tree processing (1) | On slide | In textbook |
| Tree processing (2) | On slide | In textbook |
| type | On slide | In textbook |
| Type checking | On slide | In textbook |
| type decoration | On slide | In textbook |
| type inference | On slide | In textbook |
| Types | On slide | In textbook |
| types - advantages of | On slide | In textbook |
| Types - in Haskell, ML, and Scheme | On slide | In textbook |
| Types in functional programming languages | On slide | In textbook |