|
Search the dblp DataBase
Frederick Smith:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dexter Kozen, Frederick Smith
Kleene Algebra with Tests: Completeness and Decidability. [Citation Graph (0, 0)][DBLP] CSL, 1996, pp:244-259 [Conf]
- Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith
Hancock: a language for processing very large-scale data. [Citation Graph (0, 0)][DBLP] DSL, 1999, pp:163-176 [Conf]
- Frederick Smith, David Walker, J. Gregory Morrisett
Alias Types. [Citation Graph (0, 0)][DBLP] ESOP, 2000, pp:366-381 [Conf]
- Frederick Smith, J. Gregory Morrisett
Comparing Mostly-Copying and Mark-Sweep Conservative Collection. [Citation Graph (0, 0)][DBLP] ISMM, 1998, pp:68-78 [Conf]
- Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
Compiling for template-based run-time code generation. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2003, v:13, n:3, pp:677-708 [Journal]
- Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
Hancock: A language for analyzing transactional data streams. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2004, v:26, n:2, pp:301-338 [Journal]
Search in 0.001secs, Finished in 0.002secs
|