03877nam 22007455 450 991014460220332120251117003136.03-540-44833-010.1007/b11942(CKB)1000000000233075(SSID)ssj0000320827(PQKBManifestationID)11229958(PQKBTitleCode)TC0000320827(PQKBWorkID)10259116(PQKB)10218622(DE-He213)978-3-540-44833-4(MiAaPQ)EBC3088111(PPN)155207113(BIP)13627222(BIP)8678894(EXLCZ)99100000000023307520121227d2003 u| 0engurnn#008mamaatxtccrAdvanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /edited by Johan Jeuring, Simon Peyton Jones1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (VIII, 216 p.)Lecture Notes in Computer Science,0302-9743 ;2638Bibliographic Level Mode of Issuance: Monograph3-540-40132-6 Includes bibliographical references at the end of each chapters and index.Arithmetic Coding with Folds and Unfolds -- An Approach to Fast Arrays in Haskell -- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat -- Developing Interactive Web Programs -- JoCaml: A Language for Concurrent Distributed and Mobile Programming -- Arrows, Robots, and Functional Reactive Programming -- XQuery: A Typed Functional Language for Querying XML.This tutorial book presents seven revised lectures given by leading researchers at the 4th International School on Functional Programming, AFP 2002, in Oxford, UK in August 2002.The lectures presented introduce tools, language features, domain-specific languages, problem domains, and programming methods. All lectures contain exercises and practical assignments. The software accompanying the lectures can be accessed from the AFP 2002 Web site. This book is designed to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming.Lecture Notes in Computer Science,0302-9743 ;2638Computer programmingSoftware engineeringProgramming languages (Electronic computers)Computer logicProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer programming.Software engineering.Programming languages (Electronic computers)Computer logic.Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.005.114Jeuring Johanedthttp://id.loc.gov/vocabulary/relators/edtPeyton Jones Simonedthttp://id.loc.gov/vocabulary/relators/edtAFP 2002MiAaPQMiAaPQMiAaPQBOOK9910144602203321Advanced Functional Programming772497UNINA