Programación: lógica combinatoria
A

Programación: lógica combinatoria

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Autor
И. А. Кудрявцева, М. В. Швецкий
Editorial
Юрайт
Año
2022
Idioma
Ruso
25
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Programación: libro de texto y taller para universidades

Programación: libro de texto y taller para universidades

С. В. Зыков

Construcción de compiladores. Fundamentos y aplicaciones

Construcción de compiladores. Fundamentos y aplicaciones

Ханспетер Мёссенбёк

Entrenamiento algorítmico. Soluciones de problemas prácticos en Python y C++

Entrenamiento algorítmico. Soluciones de problemas prácticos en Python y C++

Максим Иванов

El arte de la demostración en matemáticas. Curso de conferencias con ejercicios

El arte de la demostración en matemáticas. Curso de conferencias con ejercicios

Дэниэл Веллеман

Algoritmo perfecto. Algoritmos para problemas NP-difíciles

Algoritmo perfecto. Algoritmos para problemas NP-difíciles

Тим Рафгарден

La vida secreta de los programas. Cómo crear código que le guste a tu computadora

La vida secreta de los programas. Cómo crear código que le guste a tu computadora

Джонатан Стейнхарт

Mínimo teórico sobre Big Data. Todo lo que necesitas saber sobre los grandes datos

Mínimo teórico sobre Big Data. Todo lo que necesitas saber sobre los grandes datos

Ын Анналин, Су Кеннет

Computer Science: fundamentos de programación en Java, POO, algoritmos y estructuras de datos

Computer Science: fundamentos de programación en Java, POO, algoritmos y estructuras de datos

Роберт Седжвик, Кевин Уэйн

Prueba de corrección de programas

Prueba de corrección de programas

К. Рустан М. Лейно