03487nam 22006735 450 99646549710331620200630074600.03-540-27861-310.1007/b102274(CKB)1000000000212626(SSID)ssj0000177150(PQKBManifestationID)11182245(PQKBTitleCode)TC0000177150(PQKBWorkID)10210200(PQKB)10946206(DE-He213)978-3-540-27861-0(MiAaPQ)EBC3068281(PPN)134123425(EXLCZ)99100000000021262620100907d2005 u| 0engurnn|008mamaatxtccrImplementation of Functional Languages[electronic resource] 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /edited by Phil Trinder, Greg Michaelson, Ricardo Pena1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 190 p.) Lecture Notes in Computer Science,0302-9743 ;3145Bibliographic Level Mode of Issuance: Monograph3-540-23727-5 Includes bibliographical references and index.Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking in Eden -- With-Loop Scalarization – Merging Nested Array Operations -- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces -- Polytypic Programming in Haskell.Lecture Notes in Computer Science,0302-9743 ;3145Computer programmingProgramming languages (Electronic computers)Computer scienceComputer logicProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer programming.Programming languages (Electronic computers).Computer science.Computer logic.Programming Techniques.Programming Languages, Compilers, Interpreters.Computer Science, general.Logics and Meanings of Programs.005.11Trinder Philedthttp://id.loc.gov/vocabulary/relators/edtMichaelson Gregedthttp://id.loc.gov/vocabulary/relators/edtPena Ricardoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465497103316Implementation of Functional Languages1944998UNISA