F. Smith

发表

David Walker, J. Gregory Morrisett, Frederick Smith, 2000, ESOP.
D. Kozen, Ernie Cohen, F. Smith, 1996 .
Anne Rogers, Corinna Cortes, Daryl Pregibon, 2004, TOPL.
Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2003, Journal of Functional Programming.
Gregory Morrisett, Frederick Mattsson Smith, F. Smith, 2002 .
Dan Grossman, David Walker, Stephanie Weirich, 1999 .
Dexter Kozen, Frederick Smith, D. Kozen, 1996, CSL.
J. Gregory Morrisett, Frederick Smith, G. Morrisett, 1998, ISMM '98.
Greg Morrisett, Frederick Smith, G. Morrisett, 1997 .
Anne Rogers, Corinna Cortes, Daryl Pregibon, 2004, TOPL.
F. Smith, F. Smith, TypeTheoryScott, 1991 .
Dan Grossman, Trevor Jim, Greg Morrisett, 2000 .
Dan Grossman, Trevor Jim, Greg Morrisett, 2000 .