LEADER 03467nam  22007215  450 
001 996465392903316
005 20230406023917.0
010   $a3-642-24276-6
024 7 $a10.1007/978-3-642-24276-2
035   $a(CKB)2550000000056298
035   $a(SSID)ssj0000609966
035   $a(PQKBManifestationID)11397227
035   $a(PQKBTitleCode)TC0000609966
035   $a(PQKBWorkID)10621684
035   $a(PQKB)11236258
035   $a(DE-He213)978-3-642-24276-2
035   $a(MiAaPQ)EBC3067398
035   $a(PPN)156317001
035   $a(EXLCZ)992550000000056298
100   $a20111010d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation and Application of Functional Languages$b[electronic resource] $e22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /$fedited by Jurriaan Hage, Marco T. Morazán
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 217 p. 29 illus., 4 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6647
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24275-8 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 22nd International Workshop on Implementation and Applications of Functional Languages, IFL 2011, held in Alphen aan den Rijn, The Netherlands in September 2011. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6647
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer programming
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
676   $a005.1/14
702   $aHage$b Jurriaan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMorazán$b Marco T$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Symposium on Implementation and Application of Functional Languages
906   $aBOOK
912   $a996465392903316
996   $aImplementation and Application of Functional Languages$9772664
997   $aUNISA