Теорія мов програмування: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Bunyk (обговорення | внесок) м Bunyk перейменував сторінку з Теорія мови програмування на Теорія мов програмування поверх перенаправлення: лише однієї? |
мНемає опису редагування |
||
Рядок 18:
* У 1966 році Ландін у своїй статті «Наступні 700 мов програмування» презентував [[ISWIM]], абстрактну комп'ютерну мову програмування. Це мало великий вплив в подальшій розробці мов програмування, що ведуть до Haskell.
* У 1966 році Коррадо Бем представив мову програмування [[Coach]]
* У 1967 році Крістофер Стрейчі опублікував свій важливий набір
* У 1969 році Дж Роджер Гіндлі публікує основну тип-схему{{що це}} об'єкта у комбінаторної логіці, пізніше узагальнену у алгоритм виведення типів Гіндлі-Мілнера.
* У 1969 році Тоні Гоар вводить логіку Гоара, форму аксіоматичної семантики.
| |||