default search action

combined dblp search
author search
venue search
publication search

ask others

13. IFL 2001: Stockholm, Sweden

> Home > Conferences and Workshops > IFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2001
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PenaS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PenaS01
Ricardo Pena, Clara Segura:
Sized Types for Typing Eden Skeletons. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Kreye01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Kreye01
Dietmar Kreye:
A Compilation Scheme for a Hierarchy of Array Types. 18-54
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Grelck01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Grelck01
Clemens Grelck:
Optimizations on Array Skeletons in a Shared Memory Environment. 36-54
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MolEP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MolEP01
Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers. 55-71
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ButterfieldS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ButterfieldS01
Andrew Butterfield, Glenn Strong:
Proving Correctness of Programs with IO - A Paradigm Comparison. 72-87
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/EncinaP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/EncinaP01
Alberto de la Encina, Ricardo Pena:
Proving the Correctness of the STG Machine. 88-104
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Faxen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Faxen01
Karl-Filip Faxén:
Dynamic Cheap Eagerness. 105-120
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PenaS01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PenaS01a
Ricardo Pena, Clara Segura:
A Polynomial-Cost Non-determinism Analysis. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ScaifeMH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ScaifeMH01
Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Minamide01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Minamide01
Yasuhiko Minamide:
Runtime Behavior of Conversion Interpretation of Subtyping. 155-167
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AlimarineP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AlimarineP01
Artem Alimarine, Marinus J. Plasmeijer:
A Generic Programming Extension for Clean. 168-185

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.