|
Journals in DBLP
- Peter Sestoft
Deriving a Lazy Abstract Machine. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:3, pp:231-264 [Journal]
- Zena M. Ariola, Matthias Felleisen
The Call-By-Need lambda Calculus. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:3, pp:265-301 [Journal]
- John Hatcliff, Olivier Danvy
Thunks and the lambda-Calculus. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:3, pp:303-319 [Journal]
- Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:3, pp:321-347 [Journal]
- Richard S. Bird
On Merging and Selection. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:3, pp:349-354 [Journal]
|