Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

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.

Summary

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.

Product details

• Assisted by: Hage (Editor), Manue Serrano (Editor), Manuel Serrano (Editor), Jurriaan Hage (Editor), Hage (Editor)
• Publisher: Springer, Berlin
• Content: Book
• Product form: Paperback / Softback
• Publication date: 01.01.2016
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9783319391090
• ISBN: 978-3-31-939109-0
• Pages: 157
• Illustrations: VII, 157 p. 22 illus.
• Dimensions (packing): 15.5 x 0.9 x 23.5 cm
• Weight (packing): 266 g
• Series: Lecture Notes in Computer Science > 9547; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: C, Software Engineering, Artificial Intelligence, computer science, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters