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

@proceedings{DBLP:conf/ifl/2001,
  editor    = {Thomas Arts and
               Markus Mohnen},
  title     = {Implementation of Functional Languages, 13th International Workshop,
               IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2312},
  year      = {2002},
  isbn      = {3-540-43537-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 25 08:22:17 2012 CET by the DBLP Team —

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