C. T. Haynes
发表
D. H. Bartley,
G. Brooks,
R. K. Dybvig,
1991,
LIPO.
R. Kent Dybvig,
Gerald J. Sussman,
Harold Abelson,
1986,
SIGP.
Robert Hieb,
Gerald Jay Sussman,
Mitchell Wand,
1999
.
C. T. Haynes,
Venkatesh Choppella,
2004
.
R. K. Dybvig,
C. T. Haynes,
D. Friedman,
2007
.
Eugene H. Spafford,
Anthony Gargaro,
Roy Rada,
1993
.
Mitchell Wand,
Daniel P. Friedman,
Christopher T. Haynes,
2001
.
Mitchell Wand,
Daniel P. Friedman,
Christopher T. Haynes,
2008
.
Venkatesh Choppella,
Christopher T. Haynes,
C. T. Haynes,
2002
.
Daniel P. Friedman,
Christopher T. Haynes,
C. T. Haynes,
1987,
TOPL.
Christopher T. Haynes,
C. T. Haynes,
1986,
J. Log. Program..
Venkatesh Choppella,
Christopher T. Haynes,
C. T. Haynes,
2003,
Inf. Comput..
Venkatesh Choppella,
Christopher T. Haynes,
C. T. Haynes,
1995
.
Daniel P. Friedman,
Christopher T. Haynes,
C. T. Haynes,
1987,
Comput. Lang..
Daniel P. Friedman,
Christopher T. Haynes,
C. T. Haynes,
1985,
POPL.
Mitchell Wand,
Daniel P. Friedman,
Christopher T. Haynes,
1984,
LFP '84.
Mitchell Wand,
Daniel P. Friedman,
Christopher T. Haynes,
1986,
Comput. Lang..
Daniel P. Friedman,
Christopher T. Haynes,
E. Kohlbecker,
1984
.
R. Kent Dybvig,
Daniel P. Friedman,
R. K. Dybvig,
1988,
LISP Symb. Comput..
Daniel P. Friedman,
Christopher T. Haynes,
C. T. Haynes,
1984,
LFP '84.
Christopher T. Haynes,
C. T. Haynes,
Hsianlin Dzeng,
1994,
LFP '94.