LEADER 02912nam  22006495  450 
001 996465943603316
005 20230330041023.0
010   $a3-642-40447-2
024 7 $a10.1007/978-3-642-40447-4
035   $a(CKB)3710000000015924
035   $a(SSID)ssj0000988313
035   $a(PQKBManifestationID)11515423
035   $a(PQKBTitleCode)TC0000988313
035   $a(PQKBWorkID)10950083
035   $a(PQKB)11775578
035   $a(DE-He213)978-3-642-40447-4
035   $a(MiAaPQ)EBC3093004
035   $a(PPN)172429471
035   $a(EXLCZ)993710000000015924
100   $a20130806d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrends in Functional Programming$b[electronic resource] $e13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /$fedited by Hans Wolfgang Loidl, Ricardo Peņa
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 311 p. 110 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7829
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40446-4 
327   $aVarious aspects of trends in functional programming -- Combining deep and shallow embedding for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking without subtyping.
330   $aThis book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7829
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
676   $a005.114
702   $aLoidl$b Hans Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPeņa$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465943603316
996   $aTrends in Functional Programming$91947569
997   $aUNISA