LEADER 03116nam  22006615  450 
001 996464449403316
005 20240124012107.0
010   $a3-030-83978-8
024 7 $a10.1007/978-3-030-83978-9
035   $a(CKB)4100000012008398
035   $a(MiAaPQ)EBC6710609
035   $a(Au-PeEL)EBL6710609
035   $a(DE-He213)978-3-030-83978-9
035   $a(PPN)257350543
035   $a(EXLCZ)994100000012008398
100   $a20210727d2021      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTrends in Functional Programming$b[electronic resource] $e22nd International Symposium, TFP 2021, Virtual Event, February 17?19, 2021, Revised Selected Papers /$fedited by Viktória Zsók, John Hughes
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (142 pages)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12834
311   $a3-030-83977-X 
327   $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.
330   $aThis book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12834
606   $aComputer programming
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aCompilers (Computer programs)
606   $aProgramming Techniques
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
606   $aCompilers and Interpreters
615  0$aComputer programming.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aCompilers (Computer programs).
615 14$aProgramming Techniques.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
615 24$aCompilers and Interpreters.
676   $a005.114
702   $aZso?k$b Vikto?ria
702   $aHughes$b John$f1958-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464449403316
996   $aTrends in Functional Programming$91947569
997   $aUNISA