02167nam 2200529 a 450 991048348360332120200520144314.010.1007/11546382(CKB)1000000000213203(SSID)ssj0000315728(PQKBManifestationID)11207671(PQKBTitleCode)TC0000315728(PQKBWorkID)10255356(PQKB)10075217(DE-He213)978-3-540-31872-9(MiAaPQ)EBC3067930(PPN)123097002(EXLCZ)99100000000021320320050809d2005 uy 0engurnn|008mamaatxtccrAdvanced functional programming 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures /Varmo Vene, Tarmo Uustalu (eds.)1st ed. 2005.Berlin ;New York Springer20051 online resource (X, 362 p.) Lecture notes in computer science,0302-9743 ;3622Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540285403 Includes bibliographical references and index.Typing 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.Lecture notes in computer science ;3622.Functional programming (Computer science)CongressesFunctional programming (Computer science)005.1/14Vene Varmo1754879Uustalu Tarmo1754880AFP 2004MiAaPQMiAaPQMiAaPQBOOK9910483483603321Advanced functional programming4191389UNINA