|
" Trends in functional programming : "
Michał Pałka, Magnus Myreen (Eds.).
Document Type
|
:
|
BL
|
Record Number
|
:
|
861856
|
Main Entry
|
:
|
International Symposium on Trends in Functional Programming(19th :2018 :, Gothenburg, Sweden)
|
Title & Author
|
:
|
Trends in functional programming : : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised selected papers /\ Michał Pałka, Magnus Myreen (Eds.).
|
Publication Statement
|
:
|
Cham, Switzerland :: Springer,, [2019]
|
Series Statement
|
:
|
Lecture notes in computer science ;; 11457
|
|
:
|
LNCS sublibrary. SL 1 -- Theoretical computer science and general issues
|
Page. NO
|
:
|
1 online resource
|
ISBN
|
:
|
3030185060
|
|
:
|
: 9783030185060
|
|
:
|
3030185052
|
|
:
|
3030185079
|
|
:
|
9783030185053
|
|
:
|
9783030185077
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index.
|
Abstract
|
:
|
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers 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. --
|
Subject
|
:
|
Data structures (Computer science), Congresses.
|
Subject
|
:
|
Functional programming (Computer science), Congresses.
|
Subject
|
:
|
Logic design-- Computer programs, Congresses.
|
Subject
|
:
|
Computer science.
|
Subject
|
:
|
Data structures (Computer science)
|
Subject
|
:
|
Functional programming (Computer science)
|
Subject
|
:
|
Logic design-- Computer programs.
|
Subject
|
:
|
Logic design.
|
Subject
|
:
|
Operating systems (Computers)
|
Dewey Classification
|
:
|
005.1/1
|
LC Classification
|
:
|
QA76.62.I58 2018
|
Added Entry
|
:
|
Myreen, Magnus O.
|
|
:
|
Pałka, Michal H.
|
| |