LEADER 02936nam 22005893u 450 001 9910821065903321 005 20240513032508.0 010 $a1-283-60999-1 010 $a9786613922441 010 $a1-84150-442-4 035 $a(CKB)2670000000054955 035 $a(EBL)605768 035 $a(OCoLC)704257980 035 $a(SSID)ssj0000779246 035 $a(PQKBManifestationID)11440345 035 $a(PQKBTitleCode)TC0000779246 035 $a(PQKBWorkID)10769216 035 $a(PQKB)11444394 035 $a(MiAaPQ)EBC605768 035 $a(EXLCZ)992670000000054955 100 $a20130418d2010|||| u|| | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTrends in Functional Programming 10 205 $a1st ed. 210 $aBristol $cIntellect$d2010 215 $a1 online resource (189 p.) 225 1 $aTrends in Functional Programming Series ;$vv.v. 10 300 $aDescription based upon print version of record. 311 $a1-84150-405-X 327 $aFront Cover; Preliminary Pages; Contents; Graph-based Communication in Eden; Compiling Concurrency Correctly: Cutting Out the Middle Man; Towards compiling SAC to CUDA; Low Pain vs No Pain Multi-core Haskells; An Operational Semantics for Distributed Lazy Evaluation; On Graph Rewriting, Reduction and Evaluation; A Reflection-based Proof Tactic for Lattices in Coq; Generic Programming for Domain Reasoners; Haskell Module Tools for Liberating Type Class Design; Signals, Not Generators!; Braincurry: A Domain-Specific Language for Integrative Neuroscience; Author Index; Back Cover 330 $aVolume 10 in the Trends in Functional Programming (TFP) series presents some of the latest research results in the implementation of functional programming languages and the practice of functional programming. It contains a peer-reviewed selection of the best articles presented at the 2009 Tenth Symposium on Trends in Functional Programming held in Koma?rno, Slovakia. TFP 2009 was co-located with the Third Central European Functional Programming School (CEFP 2009) and organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eo?tvo?s Lora?nd University, Budapest a 410 0$aTrends in Functional Programming Series 606 $aFunctional programming (Computer science) -- Congresses 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 4$aFunctional programming (Computer science) -- Congresses. 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 676 $a005.114 700 $aHorvath$b Zoltan$0600363 701 $aZsok$b Viktoria$0851647 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a9910821065903321 996 $aTrends in Functional Programming 10$93998024 997 $aUNINA