Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
International Workshop on the Implementation of Functional Languages(15th :2003 :Edinburgh, Scotland)
Trinder, Phil.editor.
Michaelson, Greg.editor.
Pena, Ricardo.editor.
Bibliographic Level Mode of Issuance: Monograph
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.
Computer programming.
Programming languages (Electronic computers).
Computer science.
Computer logic.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Science, general.
Logics and Meanings of Programs.