Christopher T. Haynes

	2005
20		Venkatesh Choppella, Christopher T. Haynes: Source-tracking unification. Inf. Comput. 201(2): 121-159 (2005)
	2003
19		Venkatesh Choppella, Christopher T. Haynes: Source-Tracking Unification. CADE 2003: 458-472
	2001
18		Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes: Essentials of programming languages (2. ed.). MIT Press 2001: I-XVIII, 1-389
	1998
17		Christopher T. Haynes: Experience with an analytic approach to teaching programming languages. SIGCSE 1998: 350-354
16		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
15		Christopher T. Haynes: Compiling: a high-level introduction using Scheme. SIGCSE 1997: 253-257
	1994
14		Hsianlin Dzeng, Christopher T. Haynes: Type Reconstruction for Variable-Arity Procedures. LISP and Functional Programming 1994: 239-249
13		Roy Rada, George S. Carson, Christopher T. Haynes: The Role of Consensus. Commun. ACM 37(4): 15-16 (1994)
	1992
12		Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes: Essentials of programming languages. MIT Press 1992: 1-536
	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	[16]
2	N. I. Adams IV	[16]
3	David H. Bartley	[16]
4	G. Brooks	[16]
5	George S. Carson	[13]
6	Venkatesh Choppella	[19] [20]
7	R. Kent Dybvig	[6] [11] [16]
8	Hsianlin Dzeng	[14]
9	Daniel P. Friedman	[2] [3] [4] [5] [6] [9] [10] [11] [12] [16] [18]
10	Robert H. Halstead Jr.	[16]
11	Chris Hanson	[16]
12	Eugene E. Kohlbecker	[16]
13	Don Oxley	[16]
14	Kent M. Pitman	[16]
15	Roy Rada	[13]
16	Guillermo Juan Rozas	[16]
17	Guy L. Steele Jr.	[16]
18	Gerald J. Sussman (Gerald Jay Sussman)	[16]
19	Mitchell Wand	[2] [5] [12] [16] [18]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page