Christopher T. Haynes

发表

Harold Abelson, Gerald Jay Sussman, Guy L. Steele, 1998, SIGP.
Mitchell Wand, Daniel P. Friedman, Christopher T. Haynes, 1986, Comput. Lang..
Christopher T. Haynes, 1990, LIPO.
Christopher T. Haynes, 1984, Semantics of Data Types.
Robert Hieb, Gerald Jay Sussman, Mitchell Wand, 1999 .
Christopher T. Haynes, 1986, ICLP.
Venkatesh Choppella, Christopher T. Haynes, C. T. Haynes, 2002 .
Venkatesh Choppella, Christopher T. Haynes, C. T. Haynes, 2003, Inf. Comput..
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes, 1986, LFP '86.
Mitchell Wand, Daniel P. Friedman, Christopher T. Haynes, 2001 .
Mitchell Wand, Daniel P. Friedman, Christopher T. Haynes, 1984, LFP '84.
Daniel P. Friedman, Christopher T. Haynes, C. T. Haynes, 1987, Comput. Lang..
R. Kent Dybvig, Daniel P. Friedman, R. K. Dybvig, 1988, LISP Symb. Comput..
R. Kent Dybvig, Gerald J. Sussman, Harold Abelson, 1986, SIGP.
Mitchell Wand, Daniel P. Friedman, Christopher T. Haynes, 2008 .
Christopher T. Haynes, 1997, SIGCSE '97.
Christopher T. Haynes, C. T. Haynes, Hsianlin Dzeng, 1994, LFP '94.
Christopher T. Haynes, C. T. Haynes, 1986, J. Log. Program..
Daniel P. Friedman, Christopher T. Haynes, E. Kohlbecker, 1984 .
Venkatesh Choppella, Christopher T. Haynes, 2003, CADE.
Roy Rada, James W. Moore, Christopher T. Haynes, 1994, STAN.
Daniel P. Friedman, Christopher T. Haynes, C. T. Haynes, 1987, TOPL.
Eugene H. Spafford, Anthony Gargaro, Roy Rada, 1994 .
Roy Rada, Christopher T. Haynes, George S. Carson, 1994, CACM.
Daniel P. Friedman, Christopher T. Haynes, C. T. Haynes, 1984, LFP '84.
Daniel P. Friedman, Christopher T. Haynes, C. T. Haynes, 1985, POPL.
Eugene H. Spafford, Anthony Gargaro, Roy Rada, 1993 .
Venkatesh Choppella, Christopher T. Haynes, C. T. Haynes, 1995 .