The Journal of Functional Programming, Volume 15

Volumen 15, Number 1, January 2005

• Ralf Hinze:
  Church numerals, twice! 1-13
  

• Lloyd Allison:
  Models for machine learning and data mining in functional programming. 15-32
  
• René David, Georges Mounier:
  An intuitionistic [lambda]-calculus with exceptions. 33-52
  
• Kurt Nørmark:
  Web programming in Scheme with LAML. 53-65
  
• Ricardo Peña-Marí, Clara Segura:
  Non-determinism analyses in a parallel-functional language. 67-100
  
• Vasco Thudichum Vasconcelos:
  Lambda and pi calculi, CAM and SECD machines. 101-127
  

Volume 15, Number 2, March 2005

• Martín Abadi, Greg Morrisett, Andrei Sabelfeld:
  "Language-Based Security". 129
  
• Anindya Banerjee, David A. Naumann:
  Stack-based access control and secure information flow. 131-177
  
• Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen:
  Interfaces for stack inspection. 179-217
  
• Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
  Correspondence assertions for process synchronization in concurrent communications. 219-247
  
• Karl Crary, Aleksey Kliger, Frank Pfenning:
  A monadic analysis of information flow security with mutable state. 249-291
  
• Kohei Honda, Nobuko Yoshida:
  Noninterference through flow analysis. 293-349
  

Volume 15, Number 3, May 2005

• Clemens Grelck:
  Shared memory multiprocessor support for functional array processing in SAC. 353-401
  
• Víctor M. Gulías, Miguel Barreiro, José Luis Freire:
  VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. 403-430
  
• Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
  Parallel functional programming in Eden. 431-475
  
• Edward A. Luke, Thomas George:
  Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis. 477-502
  

Volume 15, Number 4, July 2005

• Nick Benton:
  Embedded interpreters. 503-542
  
• Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
  Deciding validity in a spatial logic for trees. 543-572
  
• Gérard P. Huet:
  A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. 573-614
  
• Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow:
  A parallel SML compiler based on algorithmic skeletons. 615-650
  

Volume 15, Number 5, September 2005

• Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig:
  Educational Pearl: A Nanopass framework for compiler education. 653-667
  
• Peter Møller Neergaard:
  Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof. 669-677
  
• Richard S. Bird, Shin-Cheng Mu:
  Countdown: A case study in Origami programming. 679-702
  
• Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
  Quantitative static analysis of distributed systems. 703-749
  
• Erick Gallesio, Manuel Serrano:
  Skribe: a functional authoring language. 751-770
  
• Fairouz Kamareddine:
  Typed lambda-calculi with one binder. 771-796
  

Volume 15, Number 6, November 2005

• Chiyan Chen, Hongwei Xi:
  Meta-programming through typeful code representation. 797-835
  
• William L. Harrison, Richard B. Kieburtz:
  The logic of demand in Haskell. 837-891
  
• Aleksandar Nanevski, Frank Pfenning:
  Staged computation with names and necessity. 893-939
  

Last update Tue May 21 19:15:35 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page