|
Conferences in DBLP
- Olaf Chitil, Dan McNeill, Colin Runciman
Lazy Assertions. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:1-19 [Conf]
- André T. H. Pang, Manuel M. T. Chakravarty
Interfacing Haskell with Object-Oriented Languages. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:20-35 [Conf]
- Arjen van Weelden, Rinus Plasmeijer
A Functional Shell That Dynamically Combines Compiled Code. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:36-52 [Conf]
- Venkatesh Choppella
Polymorphic Type Reconstruction Using Type Equations. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:53-68 [Conf]
- Clara Segura, Ricardo Pena
Correctness of Non-determinism Analyses in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:69-85 [Conf]
- Pedro B. Vasconcelos, Kevin Hammond
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:86-101 [Conf]
- Jost Berthold
Dynamic Chunking in Eden. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:102-117 [Conf]
- Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
With-Loop Scalarization - Merging Nested Array Operations. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:118-134 [Conf]
- Rafael Martínez, Ricardo Pena
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:135-151 [Conf]
- Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer
Generic Graphical User Interfaces. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:152-167 [Conf]
- Ulf Norell, Patrik Jansson
Polytypic Programming in Haskell. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:168-184 [Conf]
|