LEADER 03877nam  22007455  450 
001 9910144602203321
005 20251117003136.0
010   $a3-540-44833-0
024 7 $a10.1007/b11942
035   $a(CKB)1000000000233075
035   $a(SSID)ssj0000320827
035   $a(PQKBManifestationID)11229958
035   $a(PQKBTitleCode)TC0000320827
035   $a(PQKBWorkID)10259116
035   $a(PQKB)10218622
035   $a(DE-He213)978-3-540-44833-4
035   $a(MiAaPQ)EBC3088111
035   $a(PPN)155207113
035   $a(BIP)13627222
035   $a(BIP)8678894
035   $a(EXLCZ)991000000000233075
100   $a20121227d2003      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvanced Functional Programming $e4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /$fedited by Johan Jeuring, Simon Peyton Jones
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (VIII, 216 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2638
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-40132-6 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aArithmetic 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2638
606   $aComputer programming
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers)
615  0$aComputer logic.
615 14$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
676   $a005.114
702   $aJeuring$b Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPeyton Jones$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aAFP 2002
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910144602203321
996   $aAdvanced Functional Programming$9772497
997   $aUNINA