Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Trinder, Phil (Editor), Michaelson, Greg (Editor), Pena, Ricardo (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Lecture Notes in Computer Science, 3145
Subjects:
Computer programming.
Compilers (Computer programs).
Computer science.
Programming Techniques.
Compilers and Interpreters.
Computer Science.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items