Programación funcional con Standard ML
por Lawrence C. Paulson · 1996
Sinopsis
Este texto presenta la programación funcional utilizando el lenguaje Standard ML, enfocándose en la tipificación estática, la inferencia de tipos y la implementación de estructuras de datos inmutables y recursivas.
Sé el primero en valorar este libro.
Más de Lawrence C. Paulson
Ver autor →Otras obras del mismo autor en el catálogo
Logical Foundations of Functional Programming
1994
Isabelle: A Generic Proof Assistant
1994
Environment Model for the Lambda Calculus
1998
Theorem Proving in Higher Order Logics
2000
sin portada
Constructing a Grand Strand of the Previous Conformational Complexity
2004
sin portada
A Logical Framework for Modular Verification
2010
sin portada
Software Foundations
2016
sin portada
Foundation of Mathematical Logic
2016
sin portada
A Proof Assistant for Higher Order Logic
2017
sin portada
Theory and Practice of Reasoning about Zero-Knowledge Proofs
2018
sin portada
Formal Verification of Software
2019
sin portada
Types and Programming Languages
2020
sin portada
Mathematical Logic and Foundations for Computer Science
2021
sin portada
Reflections on Formal Methods
2022
sin portada
Automated Reasoning: Theory and Applications
2023
Libros similares
Libros relacionados según distintos criterios de búsqueda