Mário Florido, Luís Damas Linearization of the lambda-calculus and its relation with intersection type systems. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:519-546 [Journal]
Nimish Shah Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:588-589 [Journal]
Mike Thomas Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:589-592 [Journal]
Frédéric Loulergue Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:592-594 [Journal]
Peter Hancock The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:594-597 [Journal]
John Derrick Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:597-598 [Journal]
Nimish Shah Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:5, pp:598-600 [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
