|
Journals in DBLP
- Oukseh Lee, Kwangkeun Yi
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:707-723 [Journal]
- Mads Tofte, Lars Birkedal
A Region Inference Algorithm. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:724-767 [Journal]
- María Alpuente, Moreno Falaschi, Germán Vidal
Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:768-844 [Journal]
- J. Michael Ashley, R. Kent Dybvig
A Practical and Flexible Flow Analysis for Higher-Order Languages. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:845-868 [Journal]
- Ken Kennedy, Ulrich Kremer
Automatic Data Layout for Distributed-Memory Machines. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:869-916 [Journal]
|