Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg J. Michaelson, Ricardo PeȘa.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 3145 | Lecture Notes in Computer Science ; 3145Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Descripción: X, 190 p. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540278610
- SpringerLink (Online service)
- 005.13 23
- QA76.7-76.73
- QA76.76.C65
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.