ask others

The Journal of Functional Programming, Volume 15

> Home > Journals > The Journal of Functional Programming

Volume 15, Number 1, January 2005

Theoretical pearls

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Hinze05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Hinze05
Ralf Hinze:
Church numerals, twice! 1-13

Articles

- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jfp/Allison05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Allison05
Lloyd Allison:
Models for machine learning and data mining in functional programming. 15-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/DavidM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/DavidM05
René David, Georges Mounier:
An intuitionistic [lambda]-calculus with exceptions. 33-52
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Normark05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Normark05
Kurt Nørmark:
Web programming in Scheme with LAML. 53-65
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/PenaS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/PenaS05
Ricardo Peña-Marí, Clara Segura:
Non-determinism analyses in a parallel-functional language. 67-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Vasconcelos05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Vasconcelos05
Vasco Thudichum Vasconcelos:
Lambda and pi calculi, CAM and SECD machines. 101-127

Volume 15, Number 2, March 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/AbadiMS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/AbadiMS05
Martín Abadi, Greg Morrisett, Andrei Sabelfeld:
"Language-Based Security". 129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/BanerjeeN05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/BanerjeeN05
Anindya Banerjee, David A. Naumann:
Stack-based access control and secure information flow. 131-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/BessonLJ05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/BessonLJ05
Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen:
Interfaces for stack inspection. 179-217
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/BonelliCG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/BonelliCG05
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence assertions for process synchronization in concurrent communications. 219-247
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/CraryKP05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/CraryKP05
Karl Crary, Aleksey Kliger, Frank Pfenning:
A monadic analysis of information flow security with mutable state. 249-291
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/HondaY05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/HondaY05
Kohei Honda, Nobuko Yoshida:
Noninterference through flow analysis. 293-349

Volume 15, Number 3, May 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Grelck05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Grelck05
Clemens Grelck:
Shared memory multiprocessor support for functional array processing in SAC. 353-401
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/GuliasBF05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/GuliasBF05
Víctor M. Gulías, Miguel Barreiro, José Luis Freire:
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. 403-430
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/LoogenOP05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/LoogenOP05
Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
Parallel functional programming in Eden. 431-475
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/LukeG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/LukeG05
Edward A. Luke, Thomas George:
Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis. 477-502

Volume 15, Number 4, July 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Benton05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Benton05
Nick Benton:
Embedded interpreters. 503-542
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jfp/CalcagnoCG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/CalcagnoCG05
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. 543-572
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jfp/Huet05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Huet05
Gérard P. Huet:
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. 573-614
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/ScaifeHMB05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/ScaifeHMB05
Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow:
A parallel SML compiler based on algorithmic skeletons. 615-650

Volume 15, Number 5, September 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/SarkarWD05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/SarkarWD05
Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig:
Educational Pearl: A Nanopass framework for compiler education. 653-667
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Neergaard05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Neergaard05
Peter Møller Neergaard:
Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof. 669-677
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/BirdM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/BirdM05
Richard S. Bird, Shin-Cheng Mu:
Countdown: A case study in Origami programming. 679-702
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/PierroHW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/PierroHW05
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Quantitative static analysis of distributed systems. 703-749
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/GallesioS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/GallesioS05
Erick Gallesio, Manuel Serrano:
Skribe: a functional authoring language. 751-770
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Kamareddine05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Kamareddine05
Fairouz Kamareddine:
Typed lambda-calculi with one binder. 771-796

Volume 15, Number 6, November 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/ChenX05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/ChenX05
Chiyan Chen, Hongwei Xi:
Meta-programming through typeful code representation. 797-835
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/HarrisonK05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/HarrisonK05
William L. Harrison, Richard B. Kieburtz:
The logic of demand in Haskell. 837-891
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/NanevskiP05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/NanevskiP05
Aleksandar Nanevski, Frank Pfenning:
Staged computation with names and necessity. 893-939

maintained by

, founded at