|
|
|
Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
|
 (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Inhalt: |
| 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. |
|