tail call, 5, 65
tail recursion, 5, 65
tan, 152
tconc, 51
tell, 48
templates, 188
threads, 250
thunk, 49, 105 ticks, see engines
timed preemption, 250
timer interrupts, 254
tokens, 277
top-level definitions, 29, 89
trace, 40
tracing, 40
transcript, 13, 179
transcript-off, 13, 179
transcript-on, 13, 179
transformer, 59
tree-copy, 42
true, 7, 35
truncate, 146
type predicates, 37