LEADER 02167nam  2200529 a 450 
001 9910483483603321
005 20200520144314.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(EXLCZ)991000000000213203
100   $a20050809d2005      uy         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 /$fVarmo Vene, Tarmo Uustalu (eds.)
205   $a1st ed. 2005.
210   $aBerlin ;$aNew York $cSpringer$d2005
215   $a1 online resource (X, 362 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$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.
410  0$aLecture notes in computer science ;$v3622.
606   $aFunctional programming (Computer science)$vCongresses
615  0$aFunctional programming (Computer science)
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