Journals in DBLP

J. Funct. Program.
2006, volume: 16, number: 3

1. Shriram Krishnamurthi
   Educational Pearl: Automata via macros. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:3, pp:253-267 [Journal]
   
2. Dariusz Biernacki, Olivier Danvy
   Theoretical Pearl: A simple proof of a folklore theorem about delimited control. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:3, pp:269-280 [Journal]
   
3. Jeremy Gibbons, David Lester, Richard S. Bird
   Functional Pearl: Enumerating the rationals. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:3, pp:281-291 [Journal]
   
4. Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein
   Gencel: a program generator for correct spreadsheets. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:3, pp:293-325 [Journal]
   
5. Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hoffman
   Consistency of the theory of contexts. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:3, pp:327-372 [Journal]