×
![]( "Buchcover ISBN 9783540278610")
Implementation of Functional Languages
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
herausgegeben von Phil Trinder, Greg Michaelson und Ricardo PenaInhaltsverzeichnis
- 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.
