Pascal поддерживает два типа указателей - типированные и бестиповые. Типированный указатель - это ссылка на место в памяти, где хранятся данные определенного типа. Бестиповый указатель - это просто ссылка на какое-то место в памяти.

Описываются указатели с помощью операции разыменования ^:

var 
  i: integer;
  pti: ^integer;
...
pti := @i; // указателю присвоили адрес переменной i
pti^ := 5; // переменной i присвоили 5

Бестиповый указатель описывается с помощью идентификатора pointer:

var
  bp:pointer

К беcтиповому указателю операцию разыменования применять нельзя, но в любом случае можно выполнять преобразование указателей между собой, например:

var 
  p: pointer;
  pr: ^real;
...
pr := p;
pr^ := 3.14;

Указатели можно сравнивать на равенство (=) и неравенство (<>). Для того чтобы отметить тот факт, что указатель никуда не указывает, используется стандартная константа nil (нулевой указатель): p := nil.