Вы здесь

Главная

Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
компилятор
язык программирования
система типов
type inferences
функциональный язык
встроенная система
время выполнения
окружение
логика программирования
тип данных
структура данных
доказательство
формальная верификация
верификация по
динамический анализ
ламбда-исчисление
Стр.: 
193 p.
Редактор: 
Van Horn D.
Hughes J.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10447
Карточка: 

Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016Ed. by Van Horn D., Hughes J..-Berlin.: Springer, 2019.-Vol. 10447.-193 p.-(Lecture Notes in Computer Science).