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
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428649-1001 | QA76.6 -76.66 | Springer E-Book Collection |