Implementation of Functional Languages (eBook, PDF)

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
Redaktion: Trinder, Phil; Pena, Ricardo; Michaelson, Greg

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 190
• Erscheinungstermin: 27. Dezember 2004
• Englisch
• ISBN-13: 9783540278610
• Artikelnr.: 44223767

Autorenporträt

Phil Trinder, Heriot-Watt University, Riccarton, UK / Greg Michaelson, Heriot-Watt University, Riccarton, UK / Ricardo Pena, Universidad Complutense de Madrid, Madrid, Spain

Inhaltsangabe

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.