Ref to zaawansowany typ referencyjny przygotowany do obsługi transakcji. Możemy dzięki niemu wyrażać częste i jednoczesne zmiany stanów wielu współdzielonych tożsamości w synchroniczny sposób. Wykorzystywany jest tam, gdzie kilka zmieniających się w czasie wartości (wskazywanych przez referencje) zależy od siebie, a modyfikacja ich wszystkich powinna być jednoczesna (np. przekazywanie środków między rachunkami bankowymi). Do obsługi Refów wykorzystywana jest programowa pamięć transakcyjna (STM).