Christopher T. (Chris) Haynes Associate Professor Emeritus of Computer Science   School of Informatics Indiana University, Bloomington

 

Email	chaynes at indiana.edu
Web	www.cs.indiana.edu/~chaynes
Home phone	812-336-3221

Personal Page

Selected Publications and Presentations

• “Source-tracking Unification,” with Venkatesh Choppella, Information and Computation 201:2 (September, 2005), 121-159.
• “Source-tracking Unification,” with Venkatesh Choppella, Proceedings of the 19^th Conference on Automated Deduction, CADE-19, Miami Beach, USA,  Lecture Notes in Artificial Intelligence 2741 (Springer, 2003), pp. 458-472.
• Essentials of Programming Languages, Second Edition . With Daniel P. Friedman and Mitchell Wand, MIT Press, 2001.
• Experience with an Analytic Approach to Teaching Programming Languages, to appear in Proceedings of the Twenty-ninth SIGCSE Technical Symposium on Computer Science Education, February 1998, pp. 350-354.
• Compiling: A high-level introduction using Scheme, in Proceedings of the Twenty-eighth SIGCSE Technical Symposium on Computer Science Education, February 1997, pp. 253-257.
• Tools and Techniques for Use of the Scheme Programming Language in Undergraduate Education, project report, NSF EI project director's meeting, November 1996.
• Introduction to Java
• Web Browsers as Presentation Tools, presentation to the IU Faculty Development Program on Learning Technologies, January 26, 1996.
• Teaching Programming Languages Using a Scheme-based Executable Formalism, presented at the Workshop on Exploring Formal Methods in the Early Computer Science Curriculum, City University of New York, September 1995.
• "Diagnosis of Ill-typed Programs," with Venkatesh Choppella, 1994.
• "Type reconstruction for variable-arity procedures," With Hsianlin Dzeng. In Proceedings of the Conference on Lisp and Functional Programming, 1994, pp 239-249.
• Scheme in Computer Science Higher Education." Presented at the First International Forum on Computer Programming in Education, ITESM, Mexico, February 25, 1994.