default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 15
Volume 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-14 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
