Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg Michaelson, Ricardo Pena.
Contributor(s): Trinder, Phil [editor.]
| Michaelson, Greg [editor.] | Pena, Ricardo [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Computer Science: 3145Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Edition: 1st ed. 2005.Description: X, 190 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540278610.Subject(s): Computer programming | Compilers (Computer programs) | Computer science | Programming Techniques | Compilers and Interpreters | Computer Science | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.11 Online resources: Click here to access online 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.
There are no comments for this item.