Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель под её управлением.
Haskell — стандартизированный чистый функциональный язык программирования общего назначения. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Система типов — полная, сильная, статическая, с автоматическим выводом типов, основанная на системе типов Хиндли — Милнера. Поскольку язык функциональный, то основная управляющая структура — это функция.
Standard ML (SML) — компилируемый язык программирования общего назначения высшего порядка, основанный на системе типов Хиндли — Милнера.
Mono — проект по созданию полноценного воплощения системы .NET Framework на базе свободного программного обеспечения. Основной разработчик проекта Mono — корпорация Xamarin, ранее - Novell. Проект возглавляет Мигель де Икаса, известный разработчик, основатель проекта GNOME. Реализации Mono существуют для следующих операционных систем: Windows, Linux, BSD, Solaris, macOS, Apple iOS, Wii. Поддерживаются платформы: s390, SPARC, PowerPC, x86/x86-64, IA-64, ARM, Alpha, MIPS, HP PA.
Eiffel (Эйфель) — объектно-ориентированный язык программирования с алголоподобным синтаксисом, разработанный Бертраном Мейером. В этом языке впервые был реализован метод контрактного программирования.
Предметно-ориентированный язык — компьютерный язык, специализированный для конкретной области применения. Построение такого языка и/или его структура данных отражают специфику решаемых с его помощью задач. Является ключевым понятием языково-ориентированного программирования.
Национа́льный центр нау́чных иссле́дований — ведущее государственное научное учреждение Франции.
Компилируемый язык программирования — язык программирования, исходный код которого преобразуется компилятором в машинный код и записывается в файл, с особым заголовком и/или расширением, для последующей идентификации этого файла, как исполняемого, операционной системой.
CeCILL — это лицензия на свободное программное обеспечение, адаптированная к интернациональному законодательству и законодательству Франции, подобная GNU General Public License и сохраняющая совместимость с ним.
Высшая школа социальных наук — один из крупнейших французских образовательных и научно-исследовательских центров.
Раскрутка компилятора — метод создания транслятора для некоторого языка программирования, при котором транслятор пишется на том же языке программирования; создание транслятором исполняемых файлов из исходного кода самого транслятора. Используется для переноса трансляторов на новые платформы. Появился в середине 1950-х годов. Позволяет создать транслятор, который генерирует сам себя. Применялся для создания трансляторов многих языков программирования, включая языки «Бейсик», «Алгол», «Си», «Паскаль», ПЛ/1, Factor, Haskell, «Модула-2», «Оберон», OCaml, Common Lisp, Scheme, Java, Python, Scala, Nemerle и другие.
Микаэль Поллак — французский социолог, культуролог-германист.
EURECOM — высшая инженерная школа и исследовательский центр коммуникационных систем. Основана в 1991 году в Софие-Антиполис парижской Высшей школой телекоммуникаций и Лозаннской политехнической школой (EPFL), к которым позднее присоединились Туринский политехнический университет, Хельсинкский политехнический институт (TKK), Мюнхенский технический университет (TUM), Норвежский университет естественных и технических наук (NTNU) и Хошиминский государственный университет.
Языково-ориентированное программирование (ЯОП), также Расходящаяся разработка, также метаязыковая абстракция, также Разработка, опирающаяся на предметно-специфичный язык — парадигма программирования, заключающаяся в разбиении процесса разработки программного обеспечения на стадии разработки предметно-ориентированных языков (DSL) и описания собственно решения задачи с их использованием. Стадии могут вестись последовательно или параллельно, однократно или рекурсивно; DSL могут быть реализованы зависимо или независимо от базового языка и иметь одну или множество реализаций.
Теория языков программирования — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике.
Жерар Пьер Юэ — французский учёный в области информатики, математики и лингвистики. Является главным научным директором по исследованиям в INRIA и наиболее известен благодаря значительному вкладу в теорию типов, теорию языка программирования и теорию алгоритмов.
Ксавье Леруа — французский информатик и программист. Известен как основной разработчик системы OCaml.
Жиль Кан — французский ученый в области информатики. Был научным директором и президентом Государственного института исследований в информатике и автоматике (INRIA).
Марсель Буате — французский экономист, профессор экономики, президент Эконометрического общества в 1959 году, соавтор модели Рамсей-Буате и теории пикового ценообразования, а также генеральный директор Électricité de France в 1967—1978 годах.
Университет Гюстава Эйфеля ― высшее учебное заведение, которое осуществляет подготовку специалистов в области урбанистики и городского транспорта. Располагается в микрорайоне Сите Декарт в городе Марн-ла-Валле близ Парижа. Был учреждён 1 января 2020 года, в результате слияния Университета Париж-Эст-Марн-ла-Валле, национального исследовательского института IFSTTAR и в тесном сотрудничества трёх инженерных школ и школы архитектуры. Находится под патронажем при Академии Кретей, которая также специализируется на изучении городской среди и городского транспорта. Университет объединяет в себе четверть исследовательского сообщества Франции в этих областях. В нём проходит обучение около 17 000 студентов и 500 докторантов, а также работают 1 200 преподавателей и 1 300 административных работников.
