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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Trinder, Phil (Editor ), Michaelson, Greg (Editor ), Pena, Ricardo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Lecture Notes in Computer Science, 3145
Temas:
Computer programming.
Compilers (Computer programs).
Computer science.
Programming Techniques.
Compilers and Interpreters.
Computer Science.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares