Journals in DBLP

J. Funct. Program.
2002, volume: 12, number: 6

1. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
   Recursive subtyping revealed. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2002, v:12, n:6, pp:511-548 [Journal]
   
2. Peter Selinger
   The lambda calculus is algebraic. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2002, v:12, n:6, pp:549-566 [Journal]
   
3. Karl Crary, Stephanie Weirich, J. Gregory Morrisett
   Intensional polymorphism in type-erasure semantics. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2002, v:12, n:6, pp:567-600 [Journal]
   
4. Ralf Hinze
   A fresh look at binary search trees. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2002, v:12, n:6, pp:601-607 [Journal]
   
5. Graham Hutton
   The countdown problem. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2002, v:12, n:6, pp:609-616 [Journal]
   
6. Daniel P. Friedman, Amr Sabry
   CPS in little pieces: composing partial continuations. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2002, v:12, n:6, pp:617-622 [Journal]