Journals in DBLP

J. Funct. Program.
1996, volume: 6, number: 3

1. Bart Jacobs
   On Cubism. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:379-391 [Journal]
   
2. Robert Harper, Mark Lillibridge
   Operational Interpretations of an Extension of F_omega with Control Operators. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:393-417 [Journal]
   
3. D. B. Carpenter, Hugh Glaser
   Some Lattice-Based Scientific Problems, Expressed in Haskell. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:419-443 [Journal]
   
4. Steve Hill
   Combinators for Parsing Expressions. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:445-463 [Journal]
   
5. Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong
   Haskore Music Notation - An Algebra of Music. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:465-483 [Journal]
   
6. Konstantin Läufer
   Type Classes with Existential Types. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:485-517 [Journal]
   
7. Franco Barbanera, Stefano Berardi
   Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:519-525 [Journal]
   
8. Andrew Kennedy
   Drawing Trees. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:527-534 [Journal]
   
9. Jeremy Gibbons
   Deriving Tidy Drawings of Trees. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:535-562 [Journal]