TY  - BOOK
AU  - Trinder,Phil
AU  - Michaelson,Greg J.
AU  - Peña,Ricardo
ED  - SpringerLink (Online service)
TI  - Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540278610
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 2005///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Computer Science
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Computer Science, general
KW  - Logics and Meanings of Programs
KW  - Electronic books
KW  - local
N1  - 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
UR  - http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/b102274
ER  -