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 updated on Mon May 20 03:24:20 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page