DictionaryForumContacts

   Russian English
Google | Forvo | +
язык функционального программирования с зависимыми типамиstresses
progr. dependently typed functional programming language (Alex_Odeychuk); functional language with dependent types (Microsoft Alex_Odeychuk)