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

LEADER 01386nam  2200205zu 450 
001 996695820403316
005 20260108111404.0
035   $a(CKB)37904473200041
035   $a(UnM)99864328
035   $a(EXLCZ)9937904473200041
100   $a20250319|1648uuuu  ||         |
101 0 $aeng
135   $aur|||||||||||
200 10$aBrief And Excellent Treatise Containing The Doctrine Of Godliness, Or Living Unto God : Wherein The Body Of Divinity Is Substantially Proposed, And Methodically Digested, By Way Of Question And Answer. And, Wherein Sundry Difficult Points, Much Controverted In These Times, Are Briefly And Solidly Determined, By That Reverend And Learned Divine, Mr. John Norton, Teacher Of The Church Of God At Ipswich In New-england. Feb. 4. 1647. Imprimatur Joseph Caryl
210   $cProQuest, UMI$d1648
700   $aNorton$0805260
906   $aBOOK
912   $a996695820403316
996   $aBrief And Excellent Treatise Containing The Doctrine Of Godliness, Or Living Unto God : Wherein The Body Of Divinity Is Substantially Proposed, And Methodically Digested, By Way Of Question And Answer. And, Wherein Sundry Difficult Points, Much Controverted In These Times, Are Briefly And Solidly Determined, By That Reverend And Learned Divine, Mr. John Norton, Teacher Of The Church Of God At Ipswich In New-england. Feb. 4. 1647. Imprimatur Joseph Caryl$94502156
997   $aUNISA