Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
tarafından
 
Pałka, Michał. editor.

Başlık
: 
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Yazar
: 
Pałka, Michał. editor.

ISBN
: 
9783030185060

Edisyon
: 
1st ed. 2019.

Fiziksel Niteleme
: 
VII, 157 p. 862 illus., 16 illus. in color. online resource.

Seri
: 
Theoretical Computer Science and General Issues ; 11457

İçindekiler
: 
Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell -- Reversible Session-Based Concurrency in Haskell -- Intrinsic Currying for C++ Template Metaprograms -- Towards Optic-Based Algebraic Theories: The Case of Lenses -- Saint: an API-generic Type-safe Interpreter -- Improving Haskell -- High-Performance Defunctionalisation in Futhark. .

Özet
: 
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.

Konu Başlığı
: 
Computer programming.
 
Programming languages (Electronic computers).
 
Operating systems (Computers).
 
Logic design.
 
Microprocessors.
 
Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010
 
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037
 
Operating Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I14045
 
Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050
 
Processor Architectures. https://scigraph.springernature.com/ontologies/product-market-codes/I13014

Yazar Ek Girişi
: 
Pałka, Michał.
 
Myreen, Magnus.

Ek Kurum Yazar
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-030-18506-0


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book428649-1001QA76.6 -76.66Springer E-Book Collection