LEADER 03357nam  22007215  450 
001 996465937703316
005 20230406040543.0
010   $a3-642-22941-7
024 7 $a10.1007/978-3-642-22941-1
035   $a(CKB)2550000000051581
035   $a(SSID)ssj0000611064
035   $a(PQKBManifestationID)11345884
035   $a(PQKBTitleCode)TC0000611064
035   $a(PQKBWorkID)10639994
035   $a(PQKB)10018407
035   $a(DE-He213)978-3-642-22941-1
035   $a(MiAaPQ)EBC3067095
035   $a(PPN)156320576
035   $a(EXLCZ)992550000000051581
100   $a20110822d2011      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrends in Functional Programming $e11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /$fedited by Rex Page, Zoltan Horvath, Viktoria Zsók
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 215 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6546
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22940-9 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6546
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615 14$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
676   $a005.13
702   $aPage$b Rex$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHorvath$b Zoltan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZsók$b Viktoria$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465937703316
996   $aTrends in Functional Programming$91947569
997   $aUNISA