20. IFL 2008: Hatfield, UK

• Ralf Hinze:
  Scans and Convolutions - A Calculational Proof of Moessner's Theorem. 1-24
  
• Bernd Braßel, Sebastian Fischer:
  From Functional Logic Programs to Purely Functional Programs Preserving Laziness. 25-42
  
• Ian Mackie:
  An Interaction Net Implementation of Closed Reduction. 43-59
  
• Clemens Grelck, Frank Penczek:
  Implementation Architecture and Multithreaded Runtime System of S-Net. 60-79
  
• Nils Anders Danielsson, Ulf Norell:
  Parsing Mixfix Operators. 80-99
  
• Kai Trojahner, Clemens Grelck:
  Descriptor-Free Representation of Arrays with Dependent Types. 100-117
  
• Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet:
  Collected Size Semantics for Functional Programs over Lists. 118-137
  
• George Giorgidze, Henrik Nilsson:
  Embedding a Functional Hybrid Modelling Language in Haskell. 138-155
  
• Joel Svensson, Mary Sheeran, Koen Claessen:
  Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. 156-173
  
• Yan Wang, Verónica Gaspes:
  A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language. 174-191
  
• Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman:
  iEditors: Extending iTask with Interactive Plug-ins. 192-211
  
• Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
  An Executable and Testable Semantics for iTasks. 212-232
  
• Mauro Jaskelioff:
  Monatron: An Extensible Monad Transformer Library. 233-248
  
• David Teller, Arnaud Spiwack, Till Varoquaux:
  Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml. 249-271
  
• Bas Lijnse, Rinus Plasmeijer:
  Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases. 272-290
  

Last update Fri May 24 03:59:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page