транслятор
81Фортран — Семантика: императивный Появился в: 1957 Автор(ы): Джон Бэкус Типизация данных: строгая, статическая Основные реализации …
82Модель типизации Хиндли — Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …
83Терехов, Андрей Николаевич — Андрей Николаевич Терехов Российский ученый и ИТ пре …
84Шура-Бура, Михаил Романович — Михаил Романович Шура Бура Дата рождения: 21 октября 1918(1918 10 21) Место рождения: Парафиевка Ичнянский район,Черниговская область, Ук …
85БЦВМ серии Ц — БЦВМ серий Ц  серия советских бортовых цифровых электронных вычислительных машин (БЦВМ). Содержание 1 БЦВМ общего назначения 1.1 Ц100, Ц101, Ц1 …
86Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference)  в программировании возможность компилятора… …
87Спокан (Вашингтон) — Город Спокан Spokane …
88Forth — Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 г. Автор(ы): Чарльз Х. Мур Основные реализации: gForth, pForth, kForth, SP Forth[1], win32forth …
89Модель типизации Хиндли-Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …
90Модель типизации Хиндли - Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …
