Journals in DBLP

J. Funct. Program.
2003, volume: 13, number: 3

1. Walid Taha
   Semantics, Applications, and Implementation of Program Generation. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:453-454 [Journal]
   
2. Conal Elliott, Sigbjorn Finne, Oege de Moor
   Compiling embedded languages. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:455-481 [Journal]
   
3. Bernd Fischer, Johann Schumann
   AutoBayes: a system for generating data analysis programs from statistical models. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:483-508 [Journal]
   
4. Adam Fischbach, John Hannan
   Specification and correctness of lambda lifting. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:509-543 [Journal]
   
5. Cristiano Calcagno, Eugenio Moggi, Tim Sheard
   Closed types for a safe imperative MetaML. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:545-571 [Journal]
   
6. Peter Thiemann
   Program specialization for execution monitoring. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:573-600 [Journal]
   
7. Norman Ramsey
   Pragmatic aspects of reusable program generators. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:601-646 [Journal]
   
8. Stefan Monnier, Zhong Shao
   Inlining as staged computation. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:647-676 [Journal]
   
9. Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
   Compiling for template-based run-time code generation. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:3, pp:677-708 [Journal]