LEADER 02938nam 22005773u 450 001 9910785235003321 005 20230124190115.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$b[electronic resource] 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 $a9910785235003321 996 $aTrends in Functional Programming 10$93698179 997 $aUNINA