Christopher T. Haynes

	2005
18		Venkatesh Choppella, Christopher T. Haynes: Source-tracking unification. Inf. Comput. 201(2): 121-159 (2005)
	2003
17		Venkatesh Choppella, Christopher T. Haynes: Source-Tracking Unification. CADE 2003: 458-472
	1998
16		Christopher T. Haynes: Experience with an analytic approach to teaching programming languages. SIGCSE 1998: 350-354
15		Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand: Revised Report on the Algorithmic Language Scheme. Higher-Order and Symbolic Computation 11(1): 7-105 (1998)
	1997
14		Christopher T. Haynes: Compiling: a high-level introduction using Scheme. SIGCSE 1997: 253-257
	1994
13		Hsianlin Dzeng, Christopher T. Haynes: Type Reconstruction for Variable-Arity Procedures. LISP and Functional Programming 1994: 239-249
12		Roy Rada, George S. Carson, Christopher T. Haynes: The Role of Consensus. Commun. ACM 37(4): 15-16 (1994)
	1988
11		R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: A General Macro Mechanism. Lisp and Symbolic Computation 1(1): 53-75 (1988)
	1987
10		Christopher T. Haynes, Daniel P. Friedman: Embedding Continuations in Procedural Objects. ACM Trans. Program. Lang. Syst. 9(4): 582-598 (1987)
9		Christopher T. Haynes, Daniel P. Friedman: Abstracting Timed Preemption with Engines. Comput. Lang. 12(2): 109-121 (1987)
8		Christopher T. Haynes: Logic Continuations. J. Log. Program. 4(2): 157-176 (1987)
	1986
7		Christopher T. Haynes: Logic Continuations. ICLP 1986: 671-685
6		R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming 1986: 143-150
5		Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Obtaining Coroutines with Continuations. Comput. Lang. 11(3/4): 143-153 (1986)
	1985
4		Daniel P. Friedman, Christopher T. Haynes: Constraining Control. POPL 1985: 245-254
	1984
3		Christopher T. Haynes, Daniel P. Friedman: Engines Build Process Abstractions. LISP and Functional Programming 1984: 18-24
2		Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Continuations and Coroutines. LISP and Functional Programming 1984: 293-298
1		Christopher T. Haynes: A Theory of Data Type Representation Independence. Semantics of Data Types 1984: 157-175

Coauthor Index

1	Harold Abelson	[15]
2	N. I. Adams IV	[15]
3	David H. Bartley	[15]
4	G. Brooks	[15]
5	George S. Carson	[12]
6	Venkatesh Choppella	[17] [18]
7	R. Kent Dybvig	[6] [11] [15]
8	Hsianlin Dzeng	[13]
9	Daniel P. Friedman	[2] [3] [4] [5] [6] [9] [10] [11] [15]
10	Robert H. Halstead Jr.	[15]
11	Chris Hanson	[15]
12	Eugene E. Kohlbecker	[15]
13	Don Oxley	[15]
14	Kent M. Pitman	[15]
15	Roy Rada	[12]
16	Guillermo Juan Rozas	[15]
17	Guy L. Steele Jr.	[15]
18	Gerald J. Sussman	[15]
19	Mitchell Wand	[2] [5] [15]

Colors in the list of coauthors