Christopher T. Haynes

Publication Activity (10 Years)

Years Active: 1984-2005
Publications (10 Years): 0

Publications

Venkatesh Choppella, Christopher T. Haynes
Source-tracking unification. Inf. Comput. 201 (2) (2005)
Venkatesh Choppella, Christopher T. Haynes
Source-Tracking Unification. CADE (2003)
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. High. Order Symb. Comput. 11 (1) (1998)
Christopher T. Haynes
Experience with an analytic approach to teaching programming languages. SIGCSE (1998)
Christopher T. Haynes
Compiling: a high-level introduction using Scheme. SIGCSE (1997)
Roy Rada, Steve Carson, Christopher T. Haynes, James W. Moore
IT standards development and consensus: three case studies. ACM Stand. 2 (1) (1994)
Hsianlin Dzeng, Christopher T. Haynes
Type Reconstruction for Variable-Arity Procedures. LISP and Functional Programming (1994)
Roy Rada, George S. Carson, Christopher T. Haynes
The Role of Consensus. Commun. ACM 37 (4) (1994)
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
Expansion-Passing Style: A General Macro Mechanism. LISP Symb. Comput. 1 (1) (1988)
Christopher T. Haynes, Daniel P. Friedman
Embedding Continuations in Procedural Objects. ACM Trans. Program. Lang. Syst. 9 (4) (1987)
Christopher T. Haynes
Logic Continuations. J. Log. Program. 4 (2) (1987)
Christopher T. Haynes, Daniel P. Friedman
Abstracting Timed Preemption with Engines. Comput. Lang. 12 (2) (1987)
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming (1986)
Christopher T. Haynes
Logic Continuations. ICLP (1986)
Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
Obtaining Coroutines with Continuations. Comput. Lang. 11 (3/4) (1986)
Daniel P. Friedman, Christopher T. Haynes
Constraining Control. POPL (1985)
Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
Continuations and Coroutines. LISP and Functional Programming (1984)
Christopher T. Haynes
A Theory of Data Type Representation Independence. Semantics of Data Types (1984)
Christopher T. Haynes, Daniel P. Friedman
Engines Build Process Abstractions. LISP and Functional Programming (1984)