Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24--26, 2001. Selected papers (Q1608373)

The articles of mathematical interest will be reviewed individually. The preceding workshop (12th, 2000) has been reviewed (see Zbl 0977.68824). Indexed articles: \textit{Peña, Ricardo; Segura, Clara}, Sized types for typing Eden skeletons, 1-17 [Zbl 1053.68553] \textit{Kreye, Dietmar}, A compilation scheme for a hierarchy of array types, 18-35 [Zbl 1053.68551] \textit{Grelck, Clemens}, Optimizations on array skeletons in a shared memory environment, 36-54 [Zbl 1053.68550] \textit{de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus}, Theorem proving for functional programmers. SPARKLE: a functional theorem prover, 55-71 [Zbl 1053.68556] \textit{Butterfield, Andrew; Strong, Glenn}, Proving correctness of programs with IO -- a paradigm comparison, 72-87 [Zbl 1053.68548] \textit{de la Encina, Alberto; Peña, Ricardo}, Proving the correctness of the STG machine, 88-104 [Zbl 1053.68557] \textit{Faxén, Karl-Filip}, Dynamic cheap eagerness, 105-120 [Zbl 1053.68549] \textit{Peña, Ricardo; Segura, Clara}, A polynomial-cost non-determinism analysis, 121-137 [Zbl 1053.68554] \textit{Scaife, Norman; Michaelson, Greg; Horiguchi, Susumu}, Comparative cross-platform performance results from a parallelizing SML compiler, 138-154 [Zbl 1053.68555] \textit{Minamide, Yasuhiko}, Runtime behavior of conversion interpretation of subtyping, 155-167 [Zbl 1053.68552] \textit{Alimarine, Artem; Plasmeijer, Rinus}, A generic programming extension for Clean, 168-185 [Zbl 1053.68547]