03461nam 22007695 450 991048371630332120251226193421.03-319-39110-010.1007/978-3-319-39110-6(CKB)3710000000711672(DE-He213)978-3-319-39110-6(MiAaPQ)EBC6285411(MiAaPQ)EBC5578469(Au-PeEL)EBL5578469(OCoLC)949917641(PPN)194076997(EXLCZ)99371000000071167220160511d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTrends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /edited by Manuel Serrano, Jurriaan Hage1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (VII, 157 p. 22 illus.) Theoretical Computer Science and General Issues,2512-2029 ;9547Includes index.3-319-39109-7 Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.Theoretical Computer Science and General Issues,2512-2029 ;9547Computer programmingCompilers (Computer programs)Software engineeringComputer scienceArtificial intelligenceMachine theoryProgramming TechniquesCompilers and InterpretersSoftware EngineeringComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceFormal Languages and Automata TheoryComputer programming.Compilers (Computer programs).Software engineering.Computer science.Artificial intelligence.Machine theory.Programming Techniques.Compilers and Interpreters.Software Engineering.Computer Science Logic and Foundations of Programming.Artificial Intelligence.Formal Languages and Automata Theory.005.114Serrano Manueledthttp://id.loc.gov/vocabulary/relators/edtHage Jurriaanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483716303321Trends in Functional Programming1947569UNINA