03862nam 22006735 450 99646581590331620200701084940.03-540-44658-310.1007/10722298(CKB)1000000000548835(SSID)ssj0000323920(PQKBManifestationID)11254236(PQKBTitleCode)TC0000323920(PQKBWorkID)10304047(PQKB)10336276(DE-He213)978-3-540-44658-3(MiAaPQ)EBC3088345(PPN)155207539(EXLCZ)99100000000054883520121227d2000 u| 0engurnn|008mamaatxtccrImplementation of Functional Languages[electronic resource] 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers /edited by Pieter Koopman, Chris Clack1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (VIII, 198 p.) Lecture Notes in Computer Science,0302-9743 ;1868Bibliographic Level Mode of Issuance: Monograph3-540-67864-6 Includes bibliographical references at the end of each chapters and index.Applications -- 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.This 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.Lecture Notes in Computer Science,0302-9743 ;1868Programming languages (Electronic computers)Computer programmingComputer logicProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming languages (Electronic computers).Computer programming.Computer logic.Programming Languages, Compilers, Interpreters.Programming Techniques.Logics and Meanings of Programs.005.13Koopman Pieteredthttp://id.loc.gov/vocabulary/relators/edtClack Chrisedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on the Implementation of Functional LanguagesMiAaPQMiAaPQMiAaPQBOOK996465815903316Implementation of Functional Languages1944998UNISA