1982 Ph.D. Computer Science, University of Iowa, Iowa City, Iowa
1981 M.S. Computer Science, University of Iowa, Iowa City, Iowa
1973 B.A. Mathematics, Lehigh University, Bethlehem, Pennsylvania
1995--2002: Director of Undergraduate Studies, Computer Science Dept., Indiana University, Bloomington, Indiana.
1995--1996: Associate Chair for Education, Computer Science Dept., Indiana University, Bloomington, Indiana.
1988--present: Associate Professor, Computer Science Dept., Indiana University, Bloomington, Indiana.
1982--1988: Assistant Professor, Computer Science Dept., Indiana University, Bloomington, Indiana.
1978--1982: Teaching or Research Assistant, Computer Science Dept., University of Iowa, Iowa City, Iowa.
1978--1981: Research Assistant, Computer Assisted Instruction Laboratory, University of Iowa, Iowa city, Iowa.
1974--1978: Research Assistant, Psychophysiology Laboratory,
Maharishi European
Research University, Seelisberg,
Organizer and Instructor, 1995 and 1996 Indiana University Summer Scheme Workshops.
General Chair, 1996 ACM Principles of Programming Languages Conference Scheme Workshop.
Director, Indiana University Scheme Educational Infrastructure Project.
Information Director, ACM SIG Technical Standards Committee.
Chair, IEEE Working Group on Scheme Standardization, 1988 to present.
Conference Committee, 1988 ACM Symposium on Lisp and Functional Programming.
Conference Committee, 1990 ACM Symposium on Lisp and Functional Programming.
Member, Association for Computing Machinery, SIGPLAN, IEEE Computer Society.
National Science Foundation Grants:
1998-1999: Miracle, An Environment for Teaching Programming. With George Springer and Raymond C. Y. Chin. NSF DUE-9720433.
1993--1997: Tools and Techniques for Use of the Scheme Programming Language in Undergraduate Education. Project Director. Other investigators: R. K. Dybvig, D. P. Friedman, G. Springer, and L. Sadler. NSF CDA-9312614.
1990--1992: Control Abstraction in Logic Programming. With D. P. Friedman, NSF CCR-9000597.
1987--1989: Logic Programming with Continuations. With D. P. Friedman, NSF CCR-8702117.
1985--1987: Liberating and Constraining Control. With D. P. Friedman, NSF DCR-8501277.
1983--1985: An Operational Model of Languages for Coordinated Computing. With D. P. Friedman, NSF MCS-834567.
1978--1982: University of Iowa Teaching/Research Fellow
Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes. Essentials of Programming Languages, second edition. MIT Press, 2001.
Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes. Essentials of Programming Languages. MIT Press/McGraw Hill, 1992.
Venkatesh Choppella, Unification source-tracking with application to diagnosis of type inference, Indiana University, 2002.
Hsianlin Dzeng, Type reconstruction via infinitary tuples, Indiana University, 1995.
Venkatesh Choppella and Christopher Haynes, “Source-tracking Unification,” Information and Computation 201:2 (September, 2005), 121-159
Venkatesh Choppella and Christopher Haynes, “Source-tracking Unification,” Proceedings of the 19th Conference on Automated Deduction, CADE-19, Miami Beach, USA, Lecture Notes in Artificial Intelligence 2741 (Springer, 2003), pp. 458-472.
Christopher T. Haynes, "Experience with an Analytic Approach to Teaching Programming Languages," Proceedings of the Twenty-ninth SIGCSE Technical Symposium on Computer Science Education (February 1998), 350-356.
Christopher T. Haynes, "Compiling: A high-level introduction using Scheme." In Proceedings of the Twenty-Eighth SIGCSE Technical Symposium on Computer Science Education. (February, 1997), 253--257.
Hsianlin Dzeng and Christopher T. Haynes. "Type reconstruction for variable-arity procedures." In Proceedings of the 1994 ACM Conference on LISP and Functional Programming. (June, 1994), 239--249.
ACM Technical Standards Committee: Anthony Gargaro, et al., "ACM Technical Standards Committee: A new advocacy power." In Computer Standards and Interfaces, 16 (1994), 139--142.
R. Kent Dybvig, Daniel P. Friedman and Christopher T. Haynes. "Expansion-passing style: A general macro mechanism." In LISP and Symbolic Computation 1, 1 (1988), 53--75.
Christopher T. Haynes and Daniel P. Friedman. "Abstracting timed preemption with engines." In Computer Languages 12, 2 (1987), 109--121.
Christopher T. Haynes and Daniel P. Friedman. "Embedding continuations in procedural objects." In ACM Trans. Programming Languages and Systems 9, 4 (1987), 582--598.
Christopher T. Haynes. "Logic continuations." In The Journal of Logic Programming 4 (1987), 157--176; preliminary version in Proceedings of the Third International Conference on Logic Programming. (July, 1985), London, England, Lecture Notes in Computer Science Vol.~225, Springer-Verlag, Berlin (1985), 671--685.
Christopher T. Haynes, Daniel P. Friedman and Mitchell Wand. "Obtaining coroutines with continuations." In Computer Languages 11, No. 3/4 (1986), 143--153.
R. Kent Dybvig, Daniel P. Friedman and Christopher T. Haynes. "Expansion-passing style: beyond conventional macros." In Proceedings of the 1986 ACM Symposium on LISP and Functional Programming. (August 1986), 143--150.
Daniel P. Friedman and Christopher T. Haynes. "Constraining control." In Conf. Record of the 12th Annual ACM Sym. on Principles of Programming Languages. New Orleans, LA (January 1985), 245--254.
Christopher T. Haynes and Daniel P. Friedman. "Engines build process abstractions." In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming. Austin, TX (August 1984), 18--24.
Christopher T. Haynes, Daniel P. Friedman and Mitchell Wand, "Continuations and coroutines." In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming. Austin, TX (August, 1984), 293--298.
Daniel P. Friedman, Christopher T. Haynes and Eugene E. Kohlbecker, "Programming with continuations." In Program Transformation and Programming Environments. (P. Pepper, Ed.), Springer-Verlag, Berlin (1984), 263--274.
Christopher T. Haynes. "A theory of data type representation independence," In Semantics of Data Types. (G. Kahn, D. B. MacQueen and G. Plotkin, Eds.), Lecture Notes in Computer Science Vol. 173, Springer-Verlag, Berlin (1984), 157--175.
Christopher T. Haynes and D. W. Orme-Johnson, "EEG phase coherence, pure consciousness, creativity and TM-Sidhi experience." In International Journal of Neuroscience, 13, 4 (July 1981), 211--217.
Christopher T. Haynes. "Type Checking and Inference." Computer Science Dept. Technical Report No. 491, Indiana University (1997).
Christopher T. Haynes and Richard M. Salter. "Maintaining Dynamic State: Deep, Shallow, and Parallel." Submitted to 1994 ACM Symposium on Lisp and Functional Programming.
Christopher T. Haynes and Richard M. Salter. "A Prolog semantics with first-class continuations and dynamic database." Computer Science Dept. Technical Report No. 292, Indiana University (1989).
Richard M. Salter and Christopher T. Haynes. "Continuation-based control operators for logic programming." Computer Science Dept. Technical Report No. 293, Indiana University (1989).
David Winkel and Christopher T. Haynes. "Hardware design using functionally connected units." Computer Science Dept. Technical Report No. 219, Indiana University (1987).
Christopher T. Haynes and Daniel P. Friedman. "An abstraction of timed preemption," Computer Science Dept. Technical Report No. 178, Indiana University (1985).
Daniel P. Friedman, Christopher T. Haynes, Eugene Kohlbecker and Mitchell Wand. "Scheme 84 interim reference manual." Computer Science Dept. Technical Report No. 153, Indiana University (1985).
Carol Fessender, William Clinger, Daniel P. Friedman and Christopher T. Haynes. "Scheme 311, version 4, reference manual." Computer Science Dept. Technical Report No. 137, Indiana University (1983).
Christopher T. Haynes. "A theory of data type representation independence." Ph. D. Dissertation and Technical Report 82-04, Computer Science Department, University of Iowa (1982).
Chair, Bloomington Campus Resource Allocation Committee, 2002, 2001, 2000
Student Enrollment Services Academic Priorities Committee, 2003, 2002
Bloomington Faculty Council, 2002, 2001
University Student Information System Steering Committee (representing Bloomington faculty), 2003, 2002, 2001
Campus Curriculum Committee (representing Informatics), 2003, 2002, 2001, 2000
Freshman Seminar Committee, 2001
BFC Educational Policy Committee, 2002, 2001, 2000, 1999, 1998
Education School Dean Search Committee, 1998
BFC Technology Policy Committee, 2003, 2002, 2001, 2000
UFC Educational Policy Committee (all campuses), 2002, 2001, 2000
UIS Information Technology Taskforce, 2003, 2002, 2001
Freshman Seminar Committee, 2000
Informatics Curriculum Committee, 2001
Informatics Undergraduate Program Committee, 2002, 2001, 2000
Co-chair, Informatics Cognate Area Committee, 2000
Bloomington Campus Advisory Committee to the Human Resources Management System and Student Information System (HRMS/SIS) Projects, 2002, 2001, 2000