1.

Record Nr.

UNINA990003464150403321

Autore

Franceschini, Enrico <1956- >

Titolo

Wall Street : La borsa e la vita

Pubbl/distr/stampa

Milano : Sperling & Kupfer, 1988

Descrizione fisica

207 p.

Locazione

DECSE

Collocazione

SE 097.04.31-

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910337836703321

Titolo

Trends in Functional Programming : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers / / edited by Michał Pałka, Magnus Myreen

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019

ISBN

3-030-18506-0

Edizione

[1st ed. 2019.]

Descrizione fisica

1 online resource (VII, 157 p. 862 illus., 16 illus. in color.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11457

Disciplina

005.11

Soggetti

Computer programming

Compilers (Computer programs)

Operating systems (Computers)

Logic design

Microprocessors

Computer architecture

Programming Techniques

Compilers and Interpreters

Operating Systems

Logic Design

Processor Architectures



Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes Index.

Nota di contenuto

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. .

Sommario/riassunto

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.