LEADER 03335oam 2200589 450 001 996465650503316 005 20210716192151.0 010 $a3-540-48515-5 024 7 $a10.1007/3-540-48515-5 035 $a(CKB)1000000000211152 035 $a(SSID)ssj0000323925 035 $a(PQKBManifestationID)11255465 035 $a(PQKBTitleCode)TC0000323925 035 $a(PQKBWorkID)10303308 035 $a(PQKB)10527455 035 $a(DE-He213)978-3-540-48515-5 035 $a(MiAaPQ)EBC3071953 035 $a(MiAaPQ)EBC6486117 035 $a(PPN)155167154 035 $a(EXLCZ)991000000000211152 100 $a20210716d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aImplementation of functional languages $e10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers /$fKevin Hammond, Tony Davie, Chris Clark, editors 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (X, 254 p.) 225 1 $aLecture Notes in Computer Science ;$v1595 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66229-4 320 $aIncludes bibliographical references and index. 327 $aPerformance Results for an Implementation of the Process Coordination Language K2 -- An Interactive Approach to Profiling Parallel Functional Programs -- Shared Memory Multiprocessor Support for SAC -- Towards an Operational Semantics for a Parallel Non-strict Functional Language -- Concurrent Monadic Interfacing -- A Strategic Profiler for Glasgow Parallel Haskell -- Implementing Eden ? or: Dreams Become Reality -- Efficient Combinator Parsers -- On the Unification of Substitutions in Type Inference -- Higher Order Demand Propagation -- Dynamic Types and Type Dependent Functions -- Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes -- Towards a Haskell/Java Connection -- A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in Sac -- Explicit Message Passing for Concurrent Clean. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998. The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working. 410 0$aLecture notes in computer science ;$v1595. 606 $aFunctional programming languages$vCongresses 615 0$aFunctional programming languages 676 $a005.13 702 $aDavie$b Tony 702 $aClark$b Chris 702 $aHammond$b Kevin 712 12$aInternational Workshop on the Implementation of Functional Languages 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465650503316 996 $aImplementation of Functional Languages$91944998 997 $aUNISA