Journals in DBLP

J. Funct. Program.
2005, volume: 15, number: 5

1. Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig
   Educational Pearl: A Nanopass framework for compiler education. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:653-667 [Journal]
   
2. Peter Møller Neergaard
   Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:669-677 [Journal]
   
3. Richard S. Bird, Shin-Cheng Mu
   Countdown: A case study in Origami programming. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:679-702 [Journal]
   
4. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
   Quantitative static analysis of distributed systems. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:703-749 [Journal]
   
5. Erick Gallesio, Manuel Serrano
   Skribe: a functional authoring language. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:751-770 [Journal]
   
6. Fairouz Kamareddine
   Typed lambda-calculi with one binder. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:771-796 [Journal]
   
7. Chiyan Chen, Hongwei Xi
   Meta-programming through typeful code representation. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:797-835 [Journal]
   
8. William L. Harrison, Richard B. Kieburtz
   The logic of demand in Haskell. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:837-891 [Journal]
   
9. Aleksandar Nanevski, Frank Pfenning
   Staged computation with names and necessity. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2005, v:15, n:5, pp:893-939 [Journal]