The SCEAS System
Navigation Menu

Conferences in DBLP

Implementation of Functional Languages (IFL) (ifl)
2001 (conf/ifl/2001)

  1. Ricardo Pena, Clara Segura
    Sized Types for Typing Eden Skeletons. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:1-17 [Conf]
  2. Dietmar Kreye
    A Compilation Scheme for a Hierarchy of Array Types. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:18-54 [Conf]
  3. Clemens Grelck
    Optimizations on Array Skeletons in a Shared Memory Environment. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:36-54 [Conf]
  4. Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
    Theorem Proving for Functional Programmers. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:55-71 [Conf]
  5. Andrew Butterfield, Glenn Strong
    Proving Correctness of Programs with IO - A Paradigm Comparison. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:72-87 [Conf]
  6. Alberto de la Encina, Ricardo Pena
    Proving the Correctness of the STG Machine. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:88-104 [Conf]
  7. Karl-Filip Faxén
    Dynamic Cheap Eagerness. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:105-120 [Conf]
  8. Ricardo Pena, Clara Segura
    A Polynomial-Cost Non-determinism Analysis. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:121-137 [Conf]
  9. Norman Scaife, Greg Michaelson, Susumu Horiguchi
    Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:138-154 [Conf]
  10. Yasuhiko Minamide
    Runtime Behavior of Conversion Interpretation of Subtyping. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:155-167 [Conf]
  11. Artem Alimarine, Marinus J. Plasmeijer
    A Generic Programming Extension for Clean. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:168-185 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002