|
Journals in DBLP
- Stijn Vansummeren
Type inference for unique pattern matching. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:389-428 [Journal]
- Dan Grossman
Quantified types in an imperative language. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:429-475 [Journal]
- Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic
Generating object lifetime traces with Merlin. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:476-516 [Journal]
- Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
MultiJava: Design rationale, compiler implementation, and applications. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:517-575 [Journal]
|