La construcción del mundo: Un ensayo sobre la ontología de los lenguajes de programación
por Luca Cardelli · 2016
Sinopsis
Examina la estructura ontológica subyacente a los lenguajes de programación, explorando cómo modelan y construyen representaciones del mundo.
Sé el primero en valorar este libro.
Más de Luca Cardelli
Ver autor →Otras obras del mismo autor en el catálogo
The Next 700 Programming Languages
1982
Towards a Theory of Abstract Types
1983
Tipos y Polimorfismo en Lenguajes de Programación
1985
Typeful Programming with Polymorphic Types
1988
A Semantics of Type Inference
1991
Concurrent Programming in Ergodic Systems
1992
Typed Lambda Calculi
1994
Monads and Effects
1995
Tipos y Polimorfismo en Lenguajes de Programación
1996
The Logical Foundations of Typed Programming
1996
Simplicity in Programming Language Design
1997
Foundations of Programming Languages
1998
Semantics of Programming Languages
1999
A Practical Theory of Programming Languages
2000
Object-Oriented Programming in a Functional Environment
2001
Libros similares
Libros relacionados según distintos criterios de búsqueda