13. IFL 2001: Stockholm, Sweden

Thomas Arts, Markus Mohnen (Eds.): Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Lecture Notes in Computer Science 2312 Springer 2002, ISBN 3-540-43537-9

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

Last update Fri May 24 03:58:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page