Implementation of Functional Languages  15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /  [electronic resource] : 
edited by Phil Trinder, Greg Michaelson, Ricardo Pena. 
 - 1st ed. 2005. 
 - X, 190 p.  online resource. 
 - Lecture Notes in Computer Science,  3145  1611-3349 ; .
 - Lecture Notes in Computer Science,  3145 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540278610 
<br/><br/><label>Standard No.: </label>10.1007/b102274  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Compilers (Computer programs).<br/>Computer science.<br/>Programming Techniques.<br/>Compilers and Interpreters.<br/>Computer Science.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA76.6-76.66 
<br/><br/><label>Dewey Class. No.: </label>005.11