Frederick Smith

Publication Activity (10 Years)

Years Active: 1996-2004
Publications (10 Years): 0

Publications

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
Hancock: A language for analyzing transactional data streams. ACM Trans. Program. Lang. Syst. 26 (2) (2004)
Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
Compiling for template-based run-time code generation. J. Funct. Program. 13 (3) (2003)
Frederick Smith, David Walker, J. Gregory Morrisett
Alias Types. ESOP (2000)
Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith
Hancock: a language for processing very large-scale data. DSL (1999)
Frederick Smith, J. Gregory Morrisett
Comparing Mostly-Copying and Mark-Sweep Conservative Collection. ISMM (1998)
Dexter Kozen, Frederick Smith
Kleene Algebra with Tests: Completeness and Decidability. CSL (1996)