|
Journals in DBLP
- Cormac Flanagan, Matthias Felleisen
The Semantics of Future and an Application. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:1, pp:1-31 [Journal]
- Michael Hanus, Christian Prehofer
Higher-Order Narrowing with Definitional Trees. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:1, pp:33-75 [Journal]
- Richard S. Bird, Ross Paterson
De Bruijn Notation as a Nested Datatype. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:1, pp:77-91 [Journal]
- Ralf Hinze
Explaining Binomial Heaps. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:1, pp:93-104 [Journal]
|