LEADER 03399nam  22007095  450 
001 996418313803316
005 20230330060350.0
010   $a3-030-47147-0
024 7 $a10.1007/978-3-030-47147-7
035   $a(CKB)4100000011273685
035   $a(MiAaPQ)EBC6304233
035   $a(DE-He213)978-3-030-47147-7
035   $a(PPN)248394606
035   $a(EXLCZ)994100000011273685
100   $a20200429d2020      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] $e20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12?14, 2019, Revised Selected Papers /$fedited by William J. Bowman, Ronald Garcia
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (141 pages)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12053
300   $aIncludes index.
311   $a3-030-47146-2 
327   $aQuotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT.
330   $aThis book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12053
606   $aComputer programming
606   $aArtificial intelligence
606   $aCompilers (Computer programs)
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aProgramming Techniques
606   $aArtificial Intelligence
606   $aCompilers and Interpreters
606   $aComputer Engineering and Networks
606   $aTheory of Computation
615  0$aComputer programming.
615  0$aArtificial intelligence.
615  0$aCompilers (Computer programs).
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615 14$aProgramming Techniques.
615 24$aArtificial Intelligence.
615 24$aCompilers and Interpreters.
615 24$aComputer Engineering and Networks.
615 24$aTheory of Computation.
676   $a005.114
702   $aBowman$b William J$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGarcia$b Ronald$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418313803316
996   $aTrends in Functional Programming$91947569
997   $aUNISA