LEADER 02430nam  2200565Ia 450 
001 9910339042203321
005 20200520144314.0
010   $a1-280-47712-1
010   $a9786610477128
010   $a1-84150-956-6
035   $a(CKB)1000000000338303
035   $a(EBL)282971
035   $a(OCoLC)67838100
035   $a(SSID)ssj0000080530
035   $a(PQKBManifestationID)11110955
035   $a(PQKBTitleCode)TC0000080530
035   $a(PQKBWorkID)10096380
035   $a(PQKB)11589600
035   $a(MiAaPQ)EBC282971
035   $a(Au-PeEL)EBL282971
035   $a(CaPaEBR)ebr10120746
035   $a(CaONFJC)MIL47712
035   $a(NjHacI)991000000000338303
035   $a(EXLCZ)991000000000338303
100   $a20020619d2006      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aTrends in functional programming$hVolume 5 /$fedited by Stephen Gilmore
205   $a1st ed.
210   $aBristol $cIntellect$d2006
215   $a1 online resource (156 p.)
300   $aDescription based upon print version of record.
311   $a1-84150-144-1 
327   $aContents; Proof Support for General Type Classes; Generic Proofs for Combinator-based Generic Programs; Building certified components within focal; Calculating an Exceptional Machine; Generalizing the augment Combinator; Alice Through the Looking Glass; Experiments with GHC's Optimiser; Disjoint Forms in Graphical User Interfaces; A Graphic Functional-Dataflow Language
330   $aThis book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science.
606   $aComputer programming
606   $aFunctional programming (Computer science)$vCongresses
615  0$aComputer programming.
615  0$aFunctional programming (Computer science)
676   $a005.114
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910339042203321
996   $aTrends in Functional Programming$91947569
997   $aUNINA