|
Conferences in DBLP
- Ricardo Pena, Clara Segura
Sized Types for Typing Eden Skeletons. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:1-17 [Conf]
- Dietmar Kreye
A Compilation Scheme for a Hierarchy of Array Types. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:18-54 [Conf]
- Clemens Grelck
Optimizations on Array Skeletons in a Shared Memory Environment. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:36-54 [Conf]
- Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Theorem Proving for Functional Programmers. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:55-71 [Conf]
- Andrew Butterfield, Glenn Strong
Proving Correctness of Programs with IO - A Paradigm Comparison. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:72-87 [Conf]
- Alberto de la Encina, Ricardo Pena
Proving the Correctness of the STG Machine. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:88-104 [Conf]
- Karl-Filip Faxén
Dynamic Cheap Eagerness. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:105-120 [Conf]
- Ricardo Pena, Clara Segura
A Polynomial-Cost Non-determinism Analysis. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:121-137 [Conf]
- Norman Scaife, Greg Michaelson, Susumu Horiguchi
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:138-154 [Conf]
- Yasuhiko Minamide
Runtime Behavior of Conversion Interpretation of Subtyping. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:155-167 [Conf]
- Artem Alimarine, Marinus J. Plasmeijer
A Generic Programming Extension for Clean. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:168-185 [Conf]
|