Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
Functional programming Anthony J. Field; Peter G. Harrison
Idiomas:
eng
ISBN:
0201192497
Lugar de Edición:
Cambridge:
Editor:
Addison-Wesley,
Fecha de Edición:
1988
Notas Formateada:
Part I: Programming with functions - Chapter 1: Introducing functions - Chapter 2: An introduction to functional programming through hope - Chapter 3: Higher-order functions - Chapter 4: Evaluation modes - Chapter 5: Alternative functional styles -- Part II: Implementation - Chapter 6: Mathematical foundations: the lambda calculus - Chapter 7: Type inference systems and type checking - Chapter 8: Intermediate forms - Chapter 9: Interpretation techniques - Chapter 10: Stack-based implementations - ths SECD machine - Chapter 11: An introdction to graph reduction - Chapter 12: Combinator reduction - Chapter 13: Advanced combinator implementations - Chapter 14: Dataflow implementation - Chapter 15: Comiling functional languages - Chapter 16: Garbage collection -- Part III: Optimization - Chapter 17: Program transformation and the operational approach - Chapter 18: Algebraic program transformation - Chapter 19: Memoization - Chapter 20: Abstract interpretation
Palabras clave:

Leader:
cam
Campo 003:
AR-BaIT
Campo 008:
270401s1988t |||||||||||||||||eng
Campo 020:
^a0201192497
Campo 040:
^aITBA^cITBA
Campo 041:
0 ^aeng
Campo 100:
1 ^aField, Anthony J.^96187
Campo 245:
10^aFunctional programming^cAnthony J. Field; Peter G. Harrison
Campo 246:
Campo 260:
^aCambridge:^bAddison-Wesley,^c1988
Campo 300:
^axiv, 602 p.
Campo 505:
0 ^aPart I: Programming with functions - Chapter 1: Introducing functions - Chapter 2: An introduction to functional programming through hope - Chapter 3: Higher-order functions - Chapter 4: Evaluation modes - Chapter 5: Alternative functional styles -- Part II: Implementation - Chapter 6: Mathematical foundations: the lambda calculus - Chapter 7: Type inference systems and type checking - Chapter 8: Intermediate forms - Chapter 9: Interpretation techniques - Chapter 10: Stack-based implementations - ths SECD machine - Chapter 11: An introdction to graph reduction - Chapter 12: Combinator reduction - Chapter 13: Advanced combinator implementations - Chapter 14: Dataflow implementation - Chapter 15: Comiling functional languages - Chapter 16: Garbage collection -- Part III: Optimization - Chapter 17: Program transformation and the operational approach - Chapter 18: Algebraic program transformation - Chapter 19: Memoization - Chapter 20: Abstract interpretation
Campo 700:
1 ^aHarrison, Peter G.^97813
Proveniencia:
^aInstituto Tecnológico Buenos Aires (ITBA) - Biblioteca
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Instituto Tecnológico Buenos Aires (ITBA)
Dependencia:
Biblioteca

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito