Christopher T. Haynes

2005
18	EE	Venkatesh Choppella, Christopher T. Haynes: Source-tracking unification. Inf. Comput. 201(2): 121-159 (2005)
2003
17	EE	Venkatesh Choppella, Christopher T. Haynes: Source-Tracking Unification. CADE 2003: 458-472
1998
16	EE	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	EE	Christopher T. Haynes: Compiling: a high-level introduction using Scheme. SIGCSE 1997: 253-257
1994
13	EE	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	EE	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