Implementation of Functional Languages
Trinder, Phil.
Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / [electronic resource] : edited by Phil Trinder, Greg J. Michaelson, Ricardo Peña. - X, 190 p. online resource. - Lecture Notes in Computer Science, 3145 0302-9743 ; . - Lecture Notes in Computer Science, 3145 .
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.
9783540278610
10.1007/b102274 doi
Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
QA76.7-76.73 QA76.76.C65
005.13
Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / [electronic resource] : edited by Phil Trinder, Greg J. Michaelson, Ricardo Peña. - X, 190 p. online resource. - Lecture Notes in Computer Science, 3145 0302-9743 ; . - Lecture Notes in Computer Science, 3145 .
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.
9783540278610
10.1007/b102274 doi
Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
QA76.7-76.73 QA76.76.C65
005.13