Trends in Functional Programming [recurso electrónico] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 9547Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Descripción: VII, 157 p. 22 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319391106Tema(s): Computer science | Computer programming | Software engineering | Programming languages (Electronic computers) | Computer logic | Mathematical logic | Artificial intelligence | Computer Science | Programming Techniques | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.11 Clasificación LoC:QA76.6-76.66Recursos en línea: Libro electrónicoTipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
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.