LEADER 03862nam  22006735  450 
001 996465815903316
005 20200701084940.0
010   $a3-540-44658-3
024 7 $a10.1007/10722298
035   $a(CKB)1000000000548835
035   $a(SSID)ssj0000323920
035   $a(PQKBManifestationID)11254236
035   $a(PQKBTitleCode)TC0000323920
035   $a(PQKBWorkID)10304047
035   $a(PQKB)10336276
035   $a(DE-He213)978-3-540-44658-3
035   $a(MiAaPQ)EBC3088345
035   $a(PPN)155207539
035   $a(EXLCZ)991000000000548835
100   $a20121227d2000      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation of Functional Languages$b[electronic resource] $e11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers /$fedited by Pieter Koopman, Chris Clack
205   $a1st ed. 2000.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000.
215   $a1 online resource (VIII, 198 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1868
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-67864-6 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aApplications -- Using Clean for Platform Games -- Compilation Techniques -- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining -- Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell -- Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language -- On Code Generation for Multi-generator WITH-Loops in SAC -- A Reversible SE(M)CD Machine -- Language Concepts -- The Implementation of Interactive Local State Transition Systems in Clean -- C HASKELL, or Yet Another Interfacing Tool -- Reflections in Opal ? Meta Information in a Functional Programming Language -- Haskell-Coloured Petri Nets -- Parallelism -- HaskSkel: Algorithmic Skeletons in Haskell.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999. The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1868
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aComputer logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aComputer logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
676   $a005.13
702   $aKoopman$b Pieter$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aClack$b Chris$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on the Implementation of Functional Languages
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465815903316
996   $aImplementation of Functional Languages$91944998
997   $aUNISA