The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Ricardo Pena, Clara Segura
    Non-determinism Analysis in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:1-18 [Conf]
  2. John Sargeant, Chris C. Kirkham, Ian Watson
    Exploiting Implicit Parallelism in Functional Programs with SLAM. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:19-36 [Conf]
  3. Thomas Arts, Thomas Noll
    Verifying Generic Erlang Client-Server Implementations. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:37-52 [Conf]
  4. Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl
    The Design and Implementation of Glasgow Distributed Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:53-70 [Conf]
  5. Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio
    Implementation Skeletons in Eden: Low-Effort Parallel Programming. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:71-88 [Conf]
  6. Michael Hanus, Frank Huch, Philipp Niederau
    ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:89-106 [Conf]
  7. Frank Huch, Ulrich Norbisrath
    Distributed Programming in Haskell with Ports. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:107-121 [Conf]
  8. Kevin Hammond
    The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:122-139 [Conf]
  9. Jörgen Gustavsson, Josef Svenningsson
    A Usage Analysis with Bounded Usage Polymorphism and Subtyping. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:140-157 [Conf]
  10. Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
    Polygonizing Implicit Surfaces in a Purely Functional Way. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:158-175 [Conf]
  11. Olaf Chitil, Colin Runciman, Malcolm Wallace
    Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:176-193 [Conf]
  12. Peter Achten, Simon L. Peyton Jones
    Porting the Clean Object I/O Library to Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:194-213 [Conf]
  13. Raimund Schröder, Werner E. Kluge
    Organizing Speculative Computations in Functional Systems. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:214-230 [Conf]
  14. Clemens Grelck
    Improving Cache Effectiveness through Array Data Layout Manipulation in SAC. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:231-248 [Conf]
  15. John O'Donnell
    The Collective Semantics in Functional SPMD Programming. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:249-266 [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