03705nam 22008055 450 99646565140331620230406031115.03-642-04652-510.1007/978-3-642-04652-0(CKB)1000000000784693(SSID)ssj0000315729(PQKBManifestationID)11242626(PQKBTitleCode)TC0000315729(PQKBWorkID)10255603(PQKB)11060818(DE-He213)978-3-642-04652-0(MiAaPQ)EBC3064648(PPN)13995886X(EXLCZ)99100000000078469320100301d2009 u| 0engurnn|008mamaatxtccrAdvanced Functional Programming[electronic resource] 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures /edited by Pieter Koopman, Doaitse Swierstra1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XVI, 331 p.) Theoretical Computer Science and General Issues,2512-2029 ;5832Bibliographic Level Mode of Issuance: Monograph3-642-04651-7 Includes bibliographical references and index.Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System.This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008. The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Self-adjusting: Computation with Delta ML, spider spinning for dummies, from reduction-based to reduction-free normalization, libraries for generic programming in Haskell, dependently typed programming in agda, parallel and concurrent programming in Haskell and an iTask case study: a conference management system.Theoretical Computer Science and General Issues,2512-2029 ;5832Computer scienceComputer programmingCompilers (Computer programs)Software engineeringAlgorithmsMachine theoryTheory of ComputationProgramming TechniquesCompilers and InterpretersSoftware EngineeringAlgorithmsFormal Languages and Automata TheoryComputer science.Computer programming.Compilers (Computer programs).Software engineering.Algorithms.Machine theory.Theory of Computation.Programming Techniques.Compilers and Interpreters.Software Engineering.Algorithms.Formal Languages and Automata Theory.005.1/14DAT 544fstubSS 4800rvkKoopman Pieteredthttp://id.loc.gov/vocabulary/relators/edtSwierstra Doaitseedthttp://id.loc.gov/vocabulary/relators/edtAFP 2008BOOK996465651403316Advanced Functional Programming772497UNISA