Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers /

Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers / TFP 2015 Manuel Serrano, Jurriaan Hage (eds.). - 1 online resource (vii, 157 pages) : illustrations - Lecture notes in computer science, 9547 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues Serienbezeichnung . - Lecture notes in computer science ; 9547. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .

Includes author index.

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.

9783319391106 3319391100 3319391097 9783319391090

10.1007/978-3-319-39110-6 doi 9783319391090

00024965

GBB8N3803 bnb

019149043 Uk


Functional programming (Computer science)--Congresses.
Logic design--Computer programs--Congresses.
Data structures (Computer science)--Congresses.
Programmation fonctionnelle--Congrès.
Structures de données (Informatique)--Congrès.
Programming & scripting languages: general.
Software Engineering.
Computer programming--software development.
Artificial intelligence.
Mathematical theory of computation.
Computers--Programming Languages--General.
Computers--Software Development & Engineering--General.
Computers--Programming--General.
Computers--Intelligence (AI) & Semantics.
Mathematics--Logic.
Data structures (Computer science)
Functional programming (Computer science)
Logic design--Computer programs.


Electronic books.
Electronic books.
Conference papers and proceedings.
Electronic books.

QA76.62

005.1/3

Powered by Koha