The Journal of Functional Programming, Volume 15

Volumen 15, Number 1, January 2005

Theoretical pearls

Articles

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

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

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

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

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

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