The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002