Зведений каталог бібліотек Києва

 

ГалкіновГалкін, О. В.
    Формалізація функціональних мов програмування на основі лямбда числення [Текст] / О.В. Галкін // Вісник Київського національного університету імені Тараса Шевченка. — Київ, 2014. — 2014. — С. 123-128.


- Ключові слова:

лямбда-числення, лямбда-исчисление, lambda-calculus ; мови програмування, языки программирования, computer program language ; паралельне програмування, параллельное программирование

- Анотація:

У статті розглядається лямбда числення на прикладі мов F# й FР і використання функціональних мов у паралельних обчисленнях.

In this paper we consider the lambda calculus in languages F# and FP and using functional programming languages for the parallelcalculations.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт