Christopher T. Haynes

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