LEADER 04235nam 22006735 450 001 9910483483603321 005 20251226202621.0 024 7 $a10.1007/11546382 035 $a(CKB)1000000000213203 035 $a(SSID)ssj0000315728 035 $a(PQKBManifestationID)11207671 035 $a(PQKBTitleCode)TC0000315728 035 $a(PQKBWorkID)10255356 035 $a(PQKB)10075217 035 $a(DE-He213)978-3-540-31872-9 035 $a(MiAaPQ)EBC3067930 035 $a(PPN)123097002 035 $a(BIP)12612948 035 $a(EXLCZ)991000000000213203 100 $a20100721d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvanced Functional Programming $e5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /$fedited by Varmo Vene, Tarmo Uustalu 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 362 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3622 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540285403 320 $aIncludes bibliographical references and index. 327 $aTyping Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs. 330 $aThis volume contains the revised lecture notes corresponding to nine of the lecturecoursespresentedatthe5thInternationalSchoolonAdvancedFunctional Programming, AFP 2004, held in Tartu, Estonia, August 14-21, 2004. The goal of the AFP schools is to inform the wide international communities of computer science students and software production professionals about the new and important developments in the area of functional programming. The schools put a special emphasis on practical applications of advanced techniques. The Tartu school was preceded by four earlier schools in B? astad, Sweden (1995, LNCS 925), Olympia, WA, USA (1996, LNCS 1129), Braga, Portugal (1998, LNCS 1608) and Oxford, UK (2002, LNCS 2638). The scienti'c programme of AFP 2004 consisted of ?ve preparatory ("- termediate") courses, given by John Hughes (Chalmers University of Techn- ogy, Goteb ¨ org, Sweden), Doaitse Swierstra (Universiteit Utrecht, The Neth- lands)andRinusPlasmeijer(RadboudUniversiteitNijmegen,TheNetherlands), and nine regular ("advanced") courses, presented by Atze Dijkstra (Universiteit Utrecht, The Netherlands), Doaitse Swierstra, John Hughes, Conor McBride (University of Nottingham, UK), Alberto Pardo (Universidade de la Republica, ´ Montevideo, Uruguay), Rinus Plasmeijer, Bernard Pope (University of M- bourne, Australia), Peter Thiemann (Universit¨ at Freiburg, Germany), and - mon Thompson (University of Kent, UK). There was also a student session. The school attracted a record number of 68 participants from 16 countries (inclusive of the lecturers and organizers). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3622 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 676 $a005.1/14 701 $aVene$b Varmo$01754879 701 $aUustalu$b Tarmo$01754880 712 12$aAFP 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483483603321 996 $aAdvanced functional programming$94191389 997 $aUNINA