Christopher T. Haynes Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Choppella, Christopher T. Haynes: Source-tracking unification. Inf. Comput. 201(2): 121-159 (2005)
2003
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Choppella, Christopher T. Haynes: Source-Tracking Unification. CADE 2003: 458-472
1998
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes: Experience with an analytic approach to teaching programming languages. SIGCSE 1998: 350-354
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes: Compiling: a high-level introduction using Scheme. SIGCSE 1997: 253-257
1994
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHsianlin Dzeng, Christopher T. Haynes: Type Reconstruction for Variable-Arity Procedures. LISP and Functional Programming 1994: 239-249
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy Rada, George S. Carson, Christopher T. Haynes: The Role of Consensus. Commun. ACM 37(4): 15-16 (1994)
1988
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes, Daniel P. Friedman: Embedding Continuations in Procedural Objects. ACM Trans. Program. Lang. Syst. 9(4): 582-598 (1987)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes, Daniel P. Friedman: Abstracting Timed Preemption with Engines. Comput. Lang. 12(2): 109-121 (1987)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes: Logic Continuations. J. Log. Program. 4(2): 157-176 (1987)
1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes: Logic Continuations. ICLP 1986: 671-685
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming 1986: 143-150
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Obtaining Coroutines with Continuations. Comput. Lang. 11(3/4): 143-153 (1986)
1985
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel P. Friedman, Christopher T. Haynes: Constraining Control. POPL 1985: 245-254
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes, Daniel P. Friedman: Engines Build Process Abstractions. LISP and Functional Programming 1984: 18-24
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Continuations and Coroutines. LISP and Functional Programming 1984: 293-298
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher T. Haynes: A Theory of Data Type Representation Independence. Semantics of Data Types 1984: 157-175

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)