LEADER 04596nam 22007695 450 001 9910484641303321 005 20251226195445.0 010 $a3-642-16478-1 024 7 $a10.1007/978-3-642-16478-1 035 $a(CKB)2550000000019895 035 $a(SSID)ssj0000446531 035 $a(PQKBManifestationID)11269476 035 $a(PQKBTitleCode)TC0000446531 035 $a(PQKBWorkID)10504590 035 $a(PQKB)10419214 035 $a(DE-He213)978-3-642-16478-1 035 $a(MiAaPQ)EBC3066048 035 $a(PPN)149033281 035 $a(BIP)32335296 035 $a(EXLCZ)992550000000019895 100 $a20101031d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aImplementation and Application of Functional Languages $e21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /$fedited by Marco T. Morazán, Sven-Bodo Scholz 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (IX, 237 p. 107 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6041 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-16477-3 320 $aIncludes bibliographical references and index. 330 $aThis volume contains the selected peer-reviewed revised articles that were p- st sented at the 21 International Symposium on Implementation and Application of Functional Languages (IFL 2009). IFL 2009 was held September 23-25, 2009 at Seton Hall University in South Orange, NJ, USA. This version of the IFL symposium marked a milestone by being the ?rst ever to be held in the United States. Ourgoalsareto makeIFLaregulareventheldintheUSAandinEurope byalternatingthehostcontinenteveryyearandtofostercollaborations,inter- tions, and friendships between researchers and practitioners on both continents and beyond. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and functi- based programming languages. Every year IFL provides a venue for the p- sentation and discussion of new ideas and concepts, of work in progress, and of publication-riperesults. Participantsareinvitedtosubmiteitheradraftpaperor an extended abstract describing work to be presented at the symposium. These submissions are screened by the Program Committee Chair to make sure they are within the scope of IFL. The submissions accepted for presentation appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the sym- sium, authors are given the opportunity to consider the feedback received from discussions at the symposium and are invited to submit revised, full articles to the formalreviewprocess. Therevisedsubmissionsarereviewedbythe Program Committee using prevailing academic standards, and the best submissions are chosento appearin theformalproceedings. Thisvolumeisthe resultofthework done by the IFL 2009 Program Committee and the contributing authors. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6041 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 676 $a005.114 701 $aMorazan$b Marco T$01078509 701 $aScholz$b Sven-Bodo$0913645 712 12$aInternational Symposium on Implementation and Application of Functional Languages. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484641303321 996 $aImplementation and application of functional languages$94202107 997 $aUNINA