|
Conferences in DBLP
- Kevin Hammond, Greg Michaelson
Predictable Space Behaviour in FSM-Hume. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:1-16 [Conf]
- Peter Achten, Artem Alimarine, Marinus J. Plasmeijer
When Generic Functions Use Dynamic Values. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:17-33 [Conf]
- Phil Bagwell
Fast Functional Lists. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:34-50 [Conf]
- Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers
Fusion in Practice. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:51-67 [Conf]
- Malcolm Dowse, Glenn Strong, Andrew Butterfield
Proving Make Correct: I/O Proofs in Haskell and Clean. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:68-83 [Conf]
- Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
Gast: Generic Automated Software Testing. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:84-100 [Conf]
- Martijn Vervoort, Marinus J. Plasmeijer
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:101-117 [Conf]
- Nils Ellmenreich, Christian Lengauer
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:118-133 [Conf]
- Tobias Lindahl, Konstantinos F. Sagonas
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:134-149 [Conf]
- Baltasar Trancón-y-Widemann
Stacking Cycles: Functional Transformation of Circular Data. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:150-164 [Conf]
- Olaf Chitil, Colin Runciman, Malcolm Wallace
Transforming Haskell for Tracing. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:165-181 [Conf]
- Clemens Grelck, Sven-Bodo Scholz
Axis Control in SAC. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:182-198 [Conf]
- André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder
Thread Migration in a Parallel Graph Reducer. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:199-214 [Conf]
- Arjen van Weelden, Marinus J. Plasmeijer
Towards a Strongly Typed Functional Operating System. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:215-231 [Conf]
- Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
Cost Analysis Using Automatic Size and Time Inference. [Citation Graph (0, 0)][DBLP] IFL, 2002, pp:232-248 [Conf]
|