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

researchr

You are not signed in
Sign in
Sign up

Philip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Volume 3145 of Lecture Notes in Computer Science, Springer, 2004.

Conference: IFL2004

Abstract is missing.

Lazy AssertionsOlaf Chitil, Dan McNeill, Colin Runciman. 1-19 [doi]

Interfacing Haskell with Object-Oriented LanguagesAndré T. H. Pang, Manuel M. T. Chakravarty. 20-35 [doi]

A Functional Shell That Dynamically Combines Compiled CodeArjen van Weelden, Marinus J. Plasmeijer. 36-52 [doi]

Polymorphic Type Reconstruction Using Type EquationsVenkatesh Choppella. 53-68 [doi]

Correctness of Non-determinism Analyses in a Parallel-Functional LanguageClara Segura, Ricardo Pena. 69-85 [doi]

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional ProgramsPedro B. Vasconcelos, Kevin Hammond. 86-101 [doi]

Dynamic Chunking in EdenJost Berthold. 102-117 [doi]

With-Loop Scalarization - Merging Nested Array OperationsClemens Grelck, Sven-Bodo Scholz, Kai Trojahner. 118-134 [doi]

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra AlgorithmsRafael Martínez, Ricardo Pena. 135-151 [doi]

Generic Graphical User InterfacesPeter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. 152-167 [doi]

Polytypic Programming in HaskellUlf Norell, Patrik Jansson. 168-184 [doi]

runs on WebDSL