000 03828nam a22005295i 4500
001 u375322
003 SIRSI
005 20160812084318.0
007 cr nn 008mamaa
008 101031s2010 gw | s |||| 0|eng d
020 _a9783642164781
_9978-3-642-16478-1
040 _cMX-MeUAM
050 4 _aQA76.9.L63
050 4 _aQA76.5913
050 4 _aQA76.63
082 0 4 _a005.1015113
_223
100 1 _aMorazán, Marco T.
_eeditor.
245 1 0 _aImplementation and Application of Functional Languages
_h[recurso electrónico] :
_b21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /
_cedited by Marco T. Morazán, Sven-Bodo Scholz.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aIX, 237p. 107 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6041
520 _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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aSoftware Engineering.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aProgramming Techniques.
700 1 _aScholz, Sven-Bodo.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642164774
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6041
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-16478-1
596 _a19
942 _cLIBRO_ELEC
999 _c203202
_d203202