Implementation of Functional Languages

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

200 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540237273
• Sprache: Englisch
• Erscheinungsdatum: 29.11.2004
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Ricardo Pena, Phil Trinder, Greg Michaelson