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:
Trends in functional programming. edited by Marko van Eekelen.
Idiomas:
eng
ISBN:
1-281-18742-9; 9786611187422; 1-84150-990-6
Lugar de Edición:
Bristol ;
Editor:
Intellect,
Fecha de Edición:
2007.
Notas #:
Description based upon print version of record.
Notas Formateada:
Front Cover; Preliminary Pages; Contents; Best Student Paper: A New Approach to One-Pass Transformations; A Static Checker for Safe Pattern Matching in Haskell; Software Metrics: Measuring Haskell; Type-Specialized Serialization with Sharing; Logical Relations for Call-by-value Delimited Continuations; Epigram Reloaded: A Standalone Typechecker for ETT; Formalisation of Haskell Refactorings; Systematic Search for Lambda Expressions; First-Class Open and Closed Code Fragments; Comonadic Functional Attribute Evaluation; Generic Generation of the Elements of Data Types; Extensible Record with Scoped LabelsProject Start Paper: The Embounded Project; Project Evaluation Paper: Mobile Resource Guarantees; Back Cover
Nota de contenido:
Volume 6. This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types. Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a project) papers are represented. Particular trends in this volume are:. - software engineering technique
Palabras clave:
Functional programming (Computer science); Computer programming.

Leader:
nam
Campo 008:
060609s2007 enka ob 100 0 eng d
Campo 020:
^a1-281-18742-9
Campo 020:
^a9786611187422
Campo 020:
^a1-84150-990-6
Campo 035:
^a(CKB)1000000000405710
Campo 035:
^a(EBL)327870
Campo 035:
^a(OCoLC)476124839
Campo 035:
^a(SSID)ssj0000471713
Campo 035:
^a(PQKBManifestationID)11312133
Campo 035:
^a(PQKBTitleCode)TC0000471713
Campo 035:
^a(PQKBWorkID)10447829
Campo 035:
^a(PQKB)10606314
Campo 035:
^a(MiAaPQ)EBC327870
Campo 035:
^a(EXLCZ)991000000000405710
Campo 040:
^aMiAaPQ^cMiAaPQ^dMiAaPQ
Campo 041:
^aeng
Campo 245:
00^aTrends in functional programming.^nVolume 6^h[electronic resource] /^cedited by Marko van Eekelen.
Campo 246:
Campo 260:
^aBristol ;^aPortland, Ore. :^bIntellect,^c2007.
Campo 300:
^a1 online resource (240 p.)
Campo 490:
0 ^aTrends in functional programming ;^v6
Campo 500:
^aDescription based upon print version of record.
Campo 505:
0 ^aFront Cover; Preliminary Pages; Contents; Best Student Paper: A New Approach to One-Pass Transformations; A Static Checker for Safe Pattern Matching in Haskell; Software Metrics: Measuring Haskell; Type-Specialized Serialization with Sharing; Logical Relations for Call-by-value Delimited Continuations; Epigram Reloaded: A Standalone Typechecker for ETT; Formalisation of Haskell Refactorings; Systematic Search for Lambda Expressions; First-Class Open and Closed Code Fragments; Comonadic Functional Attribute Evaluation; Generic Generation of the Elements of Data Types
Campo 505:
8 ^aExtensible Record with Scoped LabelsProject Start Paper: The Embounded Project; Project Evaluation Paper: Mobile Resource Guarantees; Back Cover
Campo 520:
^aVolume 6. This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types. Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a project) papers are represented. Particular trends in this volume are:. - software engineering technique
Campo 650:
0^aFunctional programming (Computer science)^vCongresses.
Campo 650:
0^aComputer programming.
Campo 700:
1 ^aEekelen, M. C. J. D. van.
Proveniencia:
^aUniversidad de San Andrés - Biblioteca Max Von Buch
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Universidad de San Andrés
Dependencia:
Biblioteca Max Von Buch

Compartir este registro en Redes Sociales

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