LEADER 03534nam  22007335  450 
001 9910639887703321
005 20251225212246.0
010   $a3-031-21314-9
024 7 $a10.1007/978-3-031-21314-4
035   $a(MiAaPQ)EBC7165837
035   $a(Au-PeEL)EBL7165837
035   $a(CKB)25913955800041
035   $a(PPN)267813090
035   $a(BIP)87286837
035   $a(BIP)85993182
035   $a(DE-He213)978-3-031-21314-4
035   $a(EXLCZ)9925913955800041
100   $a20221228d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTrends in Functional Programming $e23rd International Symposium, TFP 2022, Virtual Event, March 17?18, 2022, Revised Selected Papers /$fedited by Wouter Swierstra, Nicolas Wu
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (200 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13401
311 08$aPrint version: Swierstra, Wouter Trends in Functional Programming Cham : Springer International Publishing AG,c2023 9783031213137 
320   $aIncludes bibliographical references and index.
327   $aEmbedding 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13401
606   $aComputer programming
606   $aComputer systems
606   $aNatural language processing (Computer science)
606   $aMicroprogramming
606   $aProgramming languages (Electronic computers)
606   $aProgramming Techniques
606   $aComputer System Implementation
606   $aNatural Language Processing (NLP)
606   $aControl Structures and Microprogramming
606   $aProgramming Language
615  0$aComputer programming.
615  0$aComputer systems.
615  0$aNatural language processing (Computer science)
615  0$aMicroprogramming.
615  0$aProgramming languages (Electronic computers)
615 14$aProgramming Techniques.
615 24$aComputer System Implementation.
615 24$aNatural Language Processing (NLP).
615 24$aControl Structures and Microprogramming.
615 24$aProgramming Language.
676   $a910.5
676   $a005.114
702   $aSwierstra$b Wouter
702   $aWu$b Nicolas
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910639887703321
996   $aTrends in Functional Programming$91947569
997   $aUNINA