Wouter Swierstra,
Nicolas Wu
Springer International Publishing
e druk, 2023
9783031213137
Trends in Functional Programming
23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2023
ISBN13: 9783031213137
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783031213137
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
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.