Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

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.

List of contents

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.

Product details

• Assisted by: Wouter Swierstra (Editor), Wu (Editor), Nicolas Wu (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 02.01.2023
• EAN: 9783031213137
• ISBN: 978-3-0-3121313-7
• No. of pages: 193
• Dimensions: 155 mm x 11 mm x 235 mm
• Illustrations: VII, 193 p. 697 illus., 11 illus. in color.
• Series: Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT