001439126 000__ 03534cam\a2200649\i\4500
001439126 001__ 1439126
001439126 003__ OCoLC
001439126 005__ 20230309004412.0
001439126 006__ m\\\\\o\\d\\\\\\\\
001439126 007__ cr\un\nnnunnun
001439126 008__ 210826s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001439126 020__ $$a9783030839789$$q(electronic bk.)
001439126 020__ $$a3030839788$$q(electronic bk.)
001439126 020__ $$z9783030839772
001439126 020__ $$z303083977X
001439126 0247_ $$a10.1007/978-3-030-83978-9$$2doi
001439126 035__ $$aSP(OCoLC)1265085864
001439126 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001439126 049__ $$aISEA
001439126 050_4 $$aQA76.62$$b.I58 2021
001439126 08204 $$a005.1/1$$223
001439126 1112_ $$aInternational Symposium on Trends in Functional Programming$$n(22nd :$$d2021 :$$cOnline)
001439126 24510 $$aTrends in functional programming :$$b22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers /$$cViktória Zsók, John Hughes (eds.).
001439126 24630 $$aTFP 2021
001439126 264_1 $$aCham :$$bSpringer,$$c[2021]
001439126 264_4 $$c©2021
001439126 300__ $$a1 online resource :$$billustrations (some color)
001439126 336__ $$atext$$btxt$$2rdacontent
001439126 337__ $$acomputer$$bc$$2rdamedia
001439126 338__ $$aonline resource$$bcr$$2rdacarrier
001439126 4901_ $$aLecture notes in computer science ;$$v12834
001439126 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
001439126 500__ $$aInternational conference proceedings.
001439126 500__ $$aIncludes author index.
001439126 5050_ $$aNested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer.
001439126 506__ $$aAccess limited to authorized users.
001439126 520__ $$aThis book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2021. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs.
001439126 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 26, 2021).
001439126 650_0 $$aFunctional programming (Computer science)$$vCongresses.
001439126 650_0 $$aLogic design$$xComputer programs$$vCongresses.
001439126 650_0 $$aData structures (Computer science)$$vCongresses.
001439126 650_6 $$aProgrammation fonctionnelle$$vCongrès.
001439126 650_6 $$aStructures de données (Informatique)$$vCongrès.
001439126 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001439126 655_7 $$aConference papers and proceedings.$$2lcgft
001439126 655_7 $$aActes de congrès.$$2rvmgf
001439126 655_0 $$aElectronic books.
001439126 7001_ $$aZsók, Viktória,$$eeditor.
001439126 7001_ $$aHughes, John,$$eeditor.
001439126 830_0 $$aLecture notes in computer science ;$$v12834.
001439126 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001439126 852__ $$bebk
001439126 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-83978-9$$zOnline Access$$91397441.1
001439126 909CO $$ooai:library.usi.edu:1439126$$pGLOBAL_SET
001439126 980__ $$aBIB
001439126 980__ $$aEBOOK
001439126 982__ $$aEbook
001439126 983__ $$aOnline
001439126 994__ $$a92$$bISE