001452086 000__ 03065cam\a2200529\i\4500
001452086 001__ 1452086
001452086 003__ OCoLC
001452086 005__ 20230310003340.0
001452086 006__ m\\\\\o\\d\\\\\\\\
001452086 007__ cr\cn\nnnunnun
001452086 008__ 230109s2023\\\\sz\a\\\\ob\\\\100\0\eng\d
001452086 019__ $$a1357017317
001452086 020__ $$a9783031213144$$q(electronic bk.)
001452086 020__ $$a3031213149$$q(electronic bk.)
001452086 020__ $$z9783031213137
001452086 020__ $$z3031213130
001452086 0247_ $$a10.1007/978-3-031-21314-4$$2doi
001452086 035__ $$aSP(OCoLC)1357119983
001452086 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCQ$$dBRX$$dUKAHL
001452086 049__ $$aISEA
001452086 050_4 $$aQA76.62$$b.I58 2022
001452086 08204 $$a005.1/14$$223/eng/20230109
001452086 1112_ $$aInternational Symposium on Trends in Functional Programming$$n(23rd :$$d2022 :$$cOnline).
001452086 24510 $$aTrends in functional programming :$$b23rd International Symposium, TFP 2022, virtual event, March 17-18, 2022, revised selected papers /$$cWouter Swierstra, Nicolas Wu (eds.).
001452086 264_1 $$aCham :$$bSpringer,$$c[2023]
001452086 300__ $$a1 online resource :$$billustrations.
001452086 336__ $$atext$$btxt$$2rdacontent
001452086 337__ $$acomputer$$bc$$2rdamedia
001452086 338__ $$aonline resource$$bcr$$2rdacarrier
001452086 4901_ $$aLecture notes in computer science ;$$v13401
001452086 504__ $$aIncludes bibliographical references.
001452086 5050_ $$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.
001452086 506__ $$aAccess limited to authorized users.
001452086 520__ $$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.
001452086 588__ $$aDescription based on print version record.
001452086 650_0 $$aFunctional programming (Computer science)$$vCongresses.
001452086 655_0 $$aElectronic books.
001452086 7001_ $$aSwierstra, Wouter,$$eeditor.
001452086 7001_ $$aWu, Nicolas,$$eeditor.
001452086 77608 $$iPrint version:$$aInternational Symposium on Trends in Functional Programming (23rd : 2022 : Online). creator.$$tTrends in functional programming.$$dCham : Springer, 2023$$z9783031213137$$w(OCoLC)1350637856
001452086 830_0 $$aLecture notes in computer science ;$$v13401.
001452086 852__ $$bebk
001452086 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21314-4$$zOnline Access$$91397441.1
001452086 909CO $$ooai:library.usi.edu:1452086$$pGLOBAL_SET
001452086 980__ $$aBIB
001452086 980__ $$aEBOOK
001452086 982__ $$aEbook
001452086 983__ $$aOnline
001452086 994__ $$a92$$bISE