Структури даних композиційних мов програмування пропонується розглядати як номінативні структури. Такі структури моделюють структури даних традиційних мов програмування. Викладення ілюструється на прикладі мови формальних специфікації RSL, яка включає всебе елементи різних парадигм програмування: імперативної, алгебраїчної, об"єктно-орієнтованої, абстрактних типів даних та інших.