02430nam 2200565Ia 450 991033904220332120200520144314.01-280-47712-197866104771281-84150-956-6(CKB)1000000000338303(EBL)282971(OCoLC)67838100(SSID)ssj0000080530(PQKBManifestationID)11110955(PQKBTitleCode)TC0000080530(PQKBWorkID)10096380(PQKB)11589600(MiAaPQ)EBC282971(Au-PeEL)EBL282971(CaPaEBR)ebr10120746(CaONFJC)MIL47712(NjHacI)991000000000338303(EXLCZ)99100000000033830320020619d2006 uy 0engur|n|---|||||txtccrTrends in functional programmingVolume 5 /edited by Stephen Gilmore1st ed.Bristol Intellect20061 online resource (156 p.)Description based upon print version of record.1-84150-144-1 Contents; 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 LanguageThis 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.Computer programmingFunctional programming (Computer science)CongressesComputer programming.Functional programming (Computer science)005.114MiAaPQMiAaPQMiAaPQBOOK9910339042203321Trends in Functional Programming1947569UNINA