![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
13. IFL 2001: Stockholm, Sweden
- Thomas Arts, Markus Mohnen:
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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.