LEADER 03120nam  2200613Ia 450 
001 9910339052603321
005 20240416143205.0
010   $a1-281-18742-9
010   $a9786611187422
010   $a1-84150-990-6
035   $a(CKB)1000000000405710
035   $a(EBL)327870
035   $a(OCoLC)476124839
035   $a(SSID)ssj0000471713
035   $a(PQKBManifestationID)11312133
035   $a(PQKBTitleCode)TC0000471713
035   $a(PQKBWorkID)10447829
035   $a(PQKB)10606314
035   $a(MiAaPQ)EBC327870
035   $a(Au-PeEL)EBL327870
035   $a(CaPaEBR)ebr10202482
035   $a(CaONFJC)MIL118742
035   $a(EXLCZ)991000000000405710
100   $a20060609d2007      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aTrends in functional programming$hVolume 6 /$fedited by Marko van Eekelen
205   $a1st ed.
210   $aBristol ;$aPortland, Ore. $cIntellect$d2007
215   $a1 online resource (240 p.)
225 0 $aTrends in functional programming ;$v6
300   $aDescription based upon print version of record.
311   $a1-84150-176-X 
320   $aIncludes bibliographical references.
327   $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
327   $aExtensible Record with Scoped LabelsProject Start Paper: The Embounded Project; Project Evaluation Paper: Mobile Resource Guarantees; Back Cover
330   $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
410  0$aTrends in Functional Programming
606   $aFunctional programming (Computer science)$vCongresses
606   $aComputer programming
615  0$aFunctional programming (Computer science)
615  0$aComputer programming.
676   $a005.1/1
701   $aEekelen$b M. C. J. D. van$0972421
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910339052603321
996   $aTrends in functional programming$92232420
997   $aUNINA