Vai al contenuto principale della pagina
| Titolo: |
Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / / edited by Wouter Swierstra, Nicolas Wu
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Edizione: | 1st ed. 2022. |
| Descrizione fisica: | 1 online resource (200 pages) |
| Disciplina: | 910.5 |
| 005.114 | |
| Soggetto topico: | Computer programming |
| Computer systems | |
| Natural language processing (Computer science) | |
| Microprogramming | |
| Programming languages (Electronic computers) | |
| Programming Techniques | |
| Computer System Implementation | |
| Natural Language Processing (NLP) | |
| Control Structures and Microprogramming | |
| Programming Language | |
| Persona (resp. second.): | SwierstraWouter |
| WuNicolas | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Embedding generic monadic transformer into Scala (Project Paper) -- Towards a Language for Defining Reusable Programming Language Components (Project Paper) -- Deep Embedding with Class -- Understanding Algebraic Effect Handlers via Delimited Control Operators -- Reducing the Power Consumption of IoT with Task-Oriented Programming -- Semantic equivalence of task-oriented programs in TopHat -- Algorithm Design with the Selection Monad -- Sound and Complete Type Inference for Closed Effect Rows -- Towards Efficient Adjustment of Effect Rows. |
| Sommario/riassunto: | This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022. The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area. |
| Titolo autorizzato: | Trends in Functional Programming ![]() |
| ISBN: | 3-031-21314-9 |
| Formato: | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910639887703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |