We stand with Ukraine  

Christopher T. Haynes

Affiliations:
  • Indiana University, Bloomington, USA


According to our database1, Christopher T. Haynes authored at least 19 papers between 1984 and 2005.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2005
Source-tracking unification.
[BibTeX]
[DOI]
Venkatesh Choppella
,
Christopher T. Haynes
Inf. Comput., 2005

2001
Essentials of programming languages (2. ed.).
[BibTeX]
Daniel P. Friedman
,
Mitchell Wand
,
Christopher T. Haynes
MIT Press, ISBN: 978-0-262-06217-6, 2001

1998
Revised Report on the Algorithmic Language Scheme.
[BibTeX]
[DOI]
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
High. Order Symb. Comput., 1998

Experience with an analytic approach to teaching programming languages.
[BibTeX]
[DOI]
Christopher T. Haynes
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

1997
Compiling: a high-level introduction using Scheme.
[BibTeX]
[DOI]
Christopher T. Haynes
Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, 1997

1994
IT standards development and consensus: three case studies.
[BibTeX]
[DOI]
Roy Rada
,
Steve Carson
,
Christopher T. Haynes
,
James W. Moore
ACM Stand., 1994

The Role of Consensus.
[BibTeX]
[DOI]
Roy Rada
,
George S. Carson
,
Christopher T. Haynes
Commun. ACM, 1994

Type Reconstruction for Variable-Arity Procedures.
[BibTeX]
[DOI]
Hsianlin Dzeng
,
Christopher T. Haynes
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1992
Essentials of programming languages.
[BibTeX]
Daniel P. Friedman
,
Mitchell Wand
,
Christopher T. Haynes
MIT Press, ISBN: 978-0-262-06145-2, 1992

1988
Expansion-Passing Style: A General Macro Mechanism.
[BibTeX]
R. Kent Dybvig
,
Daniel P. Friedman
,
Christopher T. Haynes
LISP Symb. Comput., 1988

1987
Embedding Continuations in Procedural Objects.
[BibTeX]
[DOI]
Christopher T. Haynes
,
Daniel P. Friedman
ACM Trans. Program. Lang. Syst., 1987

Logic Continuations.
[BibTeX]
[DOI]
Christopher T. Haynes
J. Log. Program., 1987

Abstracting Timed Preemption with Engines.
[BibTeX]
[DOI]
Christopher T. Haynes
,
Daniel P. Friedman
Comput. Lang., 1987

1986
Obtaining Coroutines with Continuations.
[BibTeX]
[DOI]
Christopher T. Haynes
,
Daniel P. Friedman
,
Mitchell Wand
Comput. Lang., 1986

Expansion-Passing Style: Beyond Conventional Macros.
[BibTeX]
[DOI]
R. Kent Dybvig
,
Daniel P. Friedman
,
Christopher T. Haynes
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985
Constraining Control.
[BibTeX]
[DOI]
Daniel P. Friedman
,
Christopher T. Haynes
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984
A Theory of Data Type Representation Independence.
[BibTeX]
[DOI]
Christopher T. Haynes
Proceedings of the Semantics of Data Types, International Symposium, 1984

Continuations and Coroutines.
[BibTeX]
[DOI]
Christopher T. Haynes
,
Daniel P. Friedman
,
Mitchell Wand
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

Engines Build Process Abstractions.
[BibTeX]
[DOI]
Christopher T. Haynes
,
Daniel P. Friedman
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984


  Loading...