03120nam 2200613Ia 450 991033905260332120240416143205.01-281-18742-997866111874221-84150-990-6(CKB)1000000000405710(EBL)327870(OCoLC)476124839(SSID)ssj0000471713(PQKBManifestationID)11312133(PQKBTitleCode)TC0000471713(PQKBWorkID)10447829(PQKB)10606314(MiAaPQ)EBC327870(Au-PeEL)EBL327870(CaPaEBR)ebr10202482(CaONFJC)MIL118742(EXLCZ)99100000000040571020060609d2007 uy 0engur|n|---|||||txtccrTrends in functional programmingVolume 6 /edited by Marko van Eekelen1st ed.Bristol ;Portland, Ore. Intellect20071 online resource (240 p.)Trends in functional programming ;6Description based upon print version of record.1-84150-176-X Includes bibliographical references.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 TypesExtensible Record with Scoped LabelsProject Start Paper: The Embounded Project; Project Evaluation Paper: Mobile Resource Guarantees; Back CoverVolume 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 techniqueTrends in Functional ProgrammingFunctional programming (Computer science)CongressesComputer programmingFunctional programming (Computer science)Computer programming.005.1/1Eekelen M. C. J. D. van972421MiAaPQMiAaPQMiAaPQBOOK9910339052603321Trends in functional programming2232420UNINA