unbound variable
unev register
unification
    discovery of algorithm
    implementation
    pattern matching vs., [2]
unify-match
union-set
    binary-tree representation
    ordered-list representation
    unordered-list representation
unique (query language)
unique-pairs
unit square
univariate polynomial
universal machine
    explicit-control evaluator as
    general-purpose computer as
University of California at Berkeley
University of Edinburgh
University of Marseille
UNIX, [2]
unknown-expression-type
unknown-procedure-type
unordered-list representation of sets
unspecified values
    define
    display
    if without alternative
    newline
    set!
    set-car!
    set-cdr!
up-split
update-insts!
upper-bound
upward compatibility
user-initial-environment (MIT Scheme)
user-print
    modified for compiled code

V operation on semaphore
val register
value
    of a combination
    of an expression, see also unspecified values
value-proc
variable, see also local variable
    bound
    free
    scope of, see also scope of a variable
    unbound
    value of, [2]
variable
variable-length code
variable?, [2]
vector (data structure)
vector (mathematical)
    operations on, [2]
    in picture-language frame
    represented as pair
    represented as sequence
vector-ref (primitive procedure)
vector-set! (primitive procedure)
Venus
verbs
very high-level language

Wadler, Philip
Wadsworth, Christopher
Wagner, Eric G.
Walker, Francis Amasa
Wallis, John
Wand, Mitchell, [2]
Waters, Richard C.
weight
weight-leaf
Weyl, Hermann
``what is'' vs. ``how to'' description, see declarative vs. imperative knowledge
wheel (rule), [2]
width
width of an interval
Wilde, Oscar (Perlis's paraphrase of)
Wiles, Andrew
Winograd, Terry
Winston, Patrick Henry, [2]
wire, in digital circuit
Wisdom, Jack
Wise, David S.
wishful thinking, [2]
withdraw
    problems in concurrent system
without-interrupts
world line of a particle, [2]
Wright, E. M.
Wright, Jesse B.

xcor-vect
Xerox Palo Alto Research Center, [2]

Y operator
ycor-vect
Yochelson, Jerome C.

Zabih, Ramin
zero crossings of a signal, [2], [3]
zero test (generic)
    for polynomials
Zetalisp
Zilles, Stephen N.
Zippel, Richard E.