12. IFL 2000: Aachen, Germany

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

Last update Sat May 18 18:57:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page