The R-value of A [a variable of node type Cons] must give access … [A] and Cdr[A])--i.e., it must give their L-values or locations. Thus, … The L-values or locations are represented by boxes. … [edges] which lead from inside of the L-value of A to … its type and hence specifying the kind of …
Google-1
Google-2
Copyright clearance needed for quotation.