No explicit pointer types
But in fact, array and record values are all heap values
- implicitly manipulated using pointers
- infinite extent (lifetime)
nil is a value belonging to every record type
- permits recursive data structures to be constructed
- illegal to attempt to dereference a field of a record variable containing nil