Теорія мов програмування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 29:
* Бакус, в 1977 році премії Тюрінга лекції, розкритикував поточний стан ындустрыальних мов і запропонував новий клас мов програмування. В даний час відомі як функціонально-рівневі мови програмування.
* In 1977, Гордон Плоткін презентував програмування обчислювальних функцій,абстрактно набрана мова
* У 1978 році [[Робін Мілнер]] вводить алгоритм виведення типів Хіндли-Мілнера для мови програмування [[ML]]. Теорія типу
=== 1980-ті ===
| |||