|
Journals in DBLP
- Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick
Operator strength reduction. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2001, v:23, n:5, pp:603-625 [Journal]
- Lawrence C. Paulson
Mechanizing a theory of program composition for UNITY. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2001, v:23, n:5, pp:626-656 [Journal]
- Andrew W. Appel, David A. McAllester
An indexed model of recursive types for foundational proof-carrying code. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2001, v:23, n:5, pp:657-683 [Journal]
|